Update quint/src/effects/builtinSignatures.ts

Co-authored-by: Gabriela Moreira <[email protected]>
informalsystems · Oct 3, 2024 · 68c7485 · 68c7485
1 parent 951e685
commit 68c7485
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/quint/src/effects/builtinSignatures.ts b/quint/src/effects/builtinSignatures.ts
@@ -15,7 +15,6 @@
 import { ComponentKind, Effect, EffectComponent, EffectScheme, Entity, Signature, effectNames, toScheme } from './base'
 import { parseEffectOrThrow } from './parser'
 import { range, times } from 'lodash'
-// import { QuintBuiltinOpcode } from '../ir/quintIr'
 
 export function getSignatures(): Map<string, Signature> {
   return new Map<string, Signature>(fixedAritySignatures.concat(multipleAritySignatures))