Merge

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 6ba49a8f..5e262f87 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -792,7 +792,7 @@ namespace Microsoft.Boogie.SMTLib
     /// </summary>

     static int nameCounter = 0;

 

-    public override Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)

+    public override Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)

     {

         unsatCore = new List<int>();

 

@@ -810,7 +810,7 @@ namespace Microsoft.Boogie.SMTLib
         }

         Check();

 

-        var prevOutcome = GetResponse();

+        var prevOutcome = CheckOutcomeCore(handler);

         

         if (prevOutcome != Outcome.Valid)

         {