Merge

2 files changed, 2 insertions, 3 deletions

diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 5702111d..832d4430 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -824,7 +824,7 @@ namespace Microsoft.Boogie {
     }

 

     // (check-sat + get-unsat-core)

-    public virtual void CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)

+    public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)

     {

         throw new NotImplementedException();

     }

diff --git a/Source/VCGeneration/StratifiedVC.cs b/Source/VCGeneration/StratifiedVC.cs
index fd153e11..013d7900 100644
--- a/Source/VCGeneration/StratifiedVC.cs
+++ b/Source/VCGeneration/StratifiedVC.cs
@@ -1161,8 +1161,7 @@ namespace VC
 

             TheoremProver.Push();

             TheoremProver.AssertAxioms();

-            TheoremProver.CheckAssumptions(assumptions, out unsatCore);

-            ProverInterface.Outcome outcome = TheoremProver.CheckOutcomeCore(reporter);

+            ProverInterface.Outcome outcome = TheoremProver.CheckAssumptions(assumptions, out unsatCore);

             TheoremProver.Pop();

             numQueries++;