Update quint/src/ir/IRTransformer.ts

Co-authored-by: Gabriela Moreira <[email protected]>
informalsystems · Oct 3, 2024 · 951e685 · 951e685
1 parent a052208
commit 951e685
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/quint/src/ir/IRTransformer.ts b/quint/src/ir/IRTransformer.ts
@@ -524,7 +524,7 @@ function transformExpression(transformer: IRTransformer, expr: ir.QuintEx): ir.Q
       }
       break
 
-    case 'tuple': // Add this case for tuple
+    case 'tuple':
       if (transformer.enterTuple) {
         newExpr = transformer.enterTuple(newExpr)
       }