Remove commented out code

informalsystems · Oct 5, 2023 · ba946ad · ba946ad
1 parent 3768598
commit ba946ad
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/quint/src/parsing/ToIrListener.ts b/quint/src/parsing/ToIrListener.ts
@@ -456,7 +456,7 @@ export class ToIrListener implements QuintListener {
     const poppedType = this.popType().value
     // Check if we have an accompanying type, and if not, then synthesize the
     // unit type.
-    //   const poppedType = this.popType().value
+    //
     // I.e., we interpret a variant `A` as `A({})`.
     const fieldType: QuintType = poppedType ? poppedType : unitType(this.getId(ctx))
     this.variantStack.push({ fieldName, fieldType })
@@ -1007,7 +1007,6 @@ export class ToIrListener implements QuintListener {
     const labelStr: QuintStr = { id: caseId, kind: 'str', value: label }
     const elim: QuintLambda = { id: caseId, kind: 'lambda', qualifier: 'def', expr: caseExpr, params }
     return [labelStr, elim]
-    // return acc.concat([labelStr, elim])
   }
 
   /** ******************* translate types ********************************/