the previous bugfix was too quick, one case escaped

apalache-mc · Jun 23, 2020 · 1918dfc · 1918dfc
1 parent aff695c
commit 1918dfc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tla-pp/src/main/scala/at/forsyte/apalache/tla/pp/Desugarer.scala b/tla-pp/src/main/scala/at/forsyte/apalache/tla/pp/Desugarer.scala
@@ -38,7 +38,7 @@ class Desugarer(tracker: TransformationTracker) extends TlaExTransformation {
         val nonSingletons = accessors.collect { case OperEx(TlaFunOper.tuple, lst @ _*) => lst.size > 1 }
         if (nonSingletons.isEmpty) {
           // only singleton tuples, construct the same EXCEPT, but with transformed fun and args
-          OperEx(TlaFunOper.except, transform(fun) +: args :_*)
+          OperEx(TlaFunOper.except, transform(fun) +: trArgs :_*)
         } else {
           // multiple accesses, e.g., ![i][j] = ...
           expandExcept(transform(fun), accessors, newValues)