Fixedpoint VC catch up with recent changes

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index c5c867d9..86779a54 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -560,7 +560,7 @@ namespace Microsoft.Boogie.SMTLib
         // Concatenate all the arguments

         string modelString = resp[0].Name;

         // modelString = modelString.Substring(7, modelString.Length - 8); // remove "(model " and final ")"

-        var models = Model.ParseModels(new StringReader("Z3 error model: \n" + modelString), "");

+        var models = Model.ParseModels(new StringReader("Error model: \n" + modelString), "");

         if (models == null || models.Count == 0)

         {

             HandleProverError("no model from prover: " + resp.ToString());