replacing pm@~

VUISIS · Jul 9, 2024 · 8e7618d · 8e7618d
1 parent 6f9d2ee
commit 8e7618d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Src/Core/API/Results/SolveResult.cs b/Src/Core/API/Results/SolveResult.cs
@@ -32,7 +32,9 @@ public Env Env
         }
 
         public string getConstraints(){
-            return solver.Z3Solver.ToString();
+            String constraints = solver.Z3Solver.ToString();
+            constraints = constraints.Replace("pm@~SC2VAR~", "");
+            return constraints;
         }
 
         public DateTime StopTime