Change var ordering

ftsrg · Nov 6, 2024 · c5e2fec · c5e2fec
1 parent 09d16e2
commit c5e2fec
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...cts/cfa/cfa-analysis/src/main/kotlin/hu/bme/mit/theta/cfa/analysis/CfaToMonolithicExpr.kt b/...cts/cfa/cfa-analysis/src/main/kotlin/hu/bme/mit/theta/cfa/analysis/CfaToMonolithicExpr.kt
@@ -92,7 +92,7 @@ fun CFA.toMonolithicExpr(): MonolithicExpr {
     transExpr,
     propExpr,
     offsetIndex,
-    vars = listOf(locVar) + this.vars.toList(),
+    vars = this.vars.toList() + listOf(locVar),
   )
 }
 

diff --git a/...s/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaToMonolithicExpr.kt b/...s/xcfa/xcfa-analysis/src/main/java/hu/bme/mit/theta/xcfa/analysis/XcfaToMonolithicExpr.kt
@@ -123,7 +123,7 @@ fun XCFA.toMonolithicExpr(parseContext: ParseContext): MonolithicExpr {
     transExpr = And(transUnfold.exprs),
     propExpr = Neq(locVar.ref, int(map[proc.errorLoc.get()]!!)),
     transOffsetIndex = transUnfold.indexing,
-    vars = listOf(locVar) + this.vars.map { it.wrappedVar }.toList(),
+    vars = this.vars.map { it.wrappedVar }.toList() + listOf(locVar),
   )
 }