diff --git a/Src/Core/API/Results/SolveResult.cs b/Src/Core/API/Results/SolveResult.cs
index aba7b18..585fb80 100644
--- 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