1 files changed, 4 insertions, 4 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 48791385..c65406b4 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -428,8 +428,8 @@ namespace Microsoft.Boogie.SMTLib
               labels = CalculatePath(0);
               xlabels = labels;
             }
-            ErrorModel errorModel = GetErrorModel();
-            handler.OnModel(xlabels, errorModel);
+            Model model = GetErrorModel();
+            handler.OnModel(xlabels, model);
           }
 
           if (labels == null || errorsLeft == 0) break;
@@ -489,7 +489,7 @@ namespace Microsoft.Boogie.SMTLib
       return path.ToArray();
     }
 
-    private ErrorModel GetErrorModel() {
+    private Model GetErrorModel() {
       if (!options.ExpectingModel())
         return null;
       SendThisVC("(get-model)");
@@ -528,7 +528,7 @@ namespace Microsoft.Boogie.SMTLib
         else
           theModel = models[0];
       }
-      return new ErrorModel(theModel);
+      return theModel;
     }
 
     private string[] GetLabelsInfo()