Consider one more case for empty tuple conversion

apalache-mc · Mar 21, 2024 · 6124007 · 6124007
1 parent 1cf2a58
commit 6124007
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
@@ -89,7 +89,7 @@ private class QuintTypeConverter extends LazyLogging {
     case QuintSeqT(elem)       => SeqT1(convert(elem))
     case QuintFunT(arg, res)   => FunT1(convert(arg), convert(res))
     case QuintOperT(args, res) => OperT1(args.map(convert), convert(res))
-    case QuintTupleT(Row.Nil()) =>
+    case QuintTupleT(Row.Nil() | Row.Cell(Seq(), _)) =>
       ConstT1("UNIT") // Use the Unit type for empty tuples, since they are the unit type in Quint
     case QuintTupleT(row)  => rowToTupleT1(row)
     case QuintRecordT(row) => RecRowT1(rowToRowT1(row))