Remove debugging comment

informalsystems · Apr 24, 2024 · 43b8f6c · 43b8f6c
1 parent 24114db
commit 43b8f6c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/quint/src/runtime/impl/compilerImpl.ts b/quint/src/runtime/impl/compilerImpl.ts
@@ -1597,7 +1597,6 @@ export class CompilerVisitor implements IRVisitor {
                     args: [],
                   }
                   this.execListener.onUserOperatorCall(nextApp)
-                  // next line is messing up the trace
                   const nextResult = next.eval()
                   failure = nextResult.isNone() || failure
                   if (isTrue(nextResult)) {