Don't include tmp vars

ftsrg · Aug 15, 2024 · fbc035d · fbc035d
1 parent 84e37c2
commit fbc035d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/subprojects/xsts/xsts/src/main/java/hu/bme/mit/theta/xsts/XSTS.java b/subprojects/xsts/xsts/src/main/java/hu/bme/mit/theta/xsts/XSTS.java
@@ -80,9 +80,9 @@ public XSTS(final Set<VarDecl<?>> ctrlVars,
         this.ctrlVars = ctrlVars;
 
         final Set<VarDecl<?>> tmpVars = Containers.createSet();
-        tmpVars.addAll(StmtUtils.getVars(tran));
-        tmpVars.addAll(StmtUtils.getVars(env));
-        tmpVars.addAll(StmtUtils.getVars(init));
+//        tmpVars.addAll(StmtUtils.getVars(tran));
+//        tmpVars.addAll(StmtUtils.getVars(env));
+//        tmpVars.addAll(StmtUtils.getVars(init));
         tmpVars.addAll(ExprUtils.getVars(initFormula));
         tmpVars.addAll(ExprUtils.getVars(prop));
         this.vars = Collections.unmodifiableCollection(tmpVars);