From 8e7618dce26807a15fbfaea2bda18f4d5483d56e Mon Sep 17 00:00:00 2001
From: VeraZhang0311 <tianzi.zhang@vanderbilt.edu>
Date: Tue, 9 Jul 2024 15:14:58 -0500
Subject: [PATCH] replacing pm@~

---
 Src/Core/API/Results/SolveResult.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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