From 951e685b9825ceed45f5a75b10edb9e91e541bca Mon Sep 17 00:00:00 2001
From: Mahtab <67663333+MahtabNorouzi@users.noreply.github.com>
Date: Thu, 3 Oct 2024 10:50:25 -0400
Subject: [PATCH] Update quint/src/ir/IRTransformer.ts

Co-authored-by: Gabriela Moreira <gabrielamoreira05@gmail.com>
---
 quint/src/ir/IRTransformer.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quint/src/ir/IRTransformer.ts b/quint/src/ir/IRTransformer.ts
index c78587452..c34dc564e 100644
--- 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)
       }