From 4ab395733bd4208651ac3edb2fe06f3170201986 Mon Sep 17 00:00:00 2001
From: Unknown <akashl@akash-desk.fareast.corp.microsoft.com>
Date: Mon, 2 Apr 2012 10:48:11 +0530
Subject: bug fix for previous refactoring

---
 Source/Provers/SMTLib/ProverInterface.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Source/Provers/SMTLib')

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 86a117c2..509f81ce 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)
         {
-- 
cgit v1.2.3