summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib
diff options
context:
space:
mode:
authorGravatar Unknown <akashl@akash-desk.fareast.corp.microsoft.com>2012-04-02 10:48:11 +0530
committerGravatar Unknown <akashl@akash-desk.fareast.corp.microsoft.com>2012-04-02 10:48:11 +0530
commit4ab395733bd4208651ac3edb2fe06f3170201986 (patch)
tree3e1278019aeb060be858ed592e97a685c3a8cee9 /Source/Provers/SMTLib
parent77efe1a87022f80b01cfc9f01a7bf3241ea95b7a (diff)
bug fix for previous refactoring
Diffstat (limited to 'Source/Provers/SMTLib')
-rw-r--r--Source/Provers/SMTLib/ProverInterface.cs4
1 files changed, 2 insertions, 2 deletions
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)
{