Apply review suggestions

apalache-mc · Jul 6, 2023 · dcd03d9 · dcd03d9
1 parent 0e08ba7
commit dcd03d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla-io/src/main/scala/at/forsyte/apalache/io/quint/QuintTypeConverter.scala b/tla-io/src/main/scala/at/forsyte/apalache/io/quint/QuintTypeConverter.scala
@@ -47,7 +47,7 @@ private class QuintTypeConverter extends LazyLogging {
       case Row.Nil()  => (acc0, None)
       case Row.Var(v) => (acc0, Some(VarT1(getVarNo(v))))
       case Row.Cell(fields, other) =>
-        val acc1 = acc0 ++ fields.map { f => f.fieldName.toInt + 1 -> convert(f.fieldType) }
+        val acc1 = acc0 ++ fields.map { f => (f.fieldName.toInt + 1) -> convert(f.fieldType) }
         aux(other, acc1)
     }