Update quint/src/parsing/ToIrListener.ts

informalsystems · Aug 7, 2023 · 41db990 · 41db990
1 parent 4c8612f
commit 41db990
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts
@@ -906,7 +906,7 @@ export class ToIrListener implements QuintListener {
     // The first expression is the one we are matching on.
     // The syntax rules ensure that at least this expression is given.
     const expr = exprs.shift()!
-    // after  shifting off the match expr, the remaing exprs are in eache case
+    // after  shifting off the match expr, the remaing exprs are must be paired with each case
     const cases: MatchCase[] = zip(exprs, ctx._matchCase).map(([caseExpr, caseCtx]) => {
       const caseId = this.getId(caseCtx)
       let label: string