1 files changed, 2 insertions, 2 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 832d4430..1a6732c2 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -823,8 +823,8 @@ namespace Microsoft.Boogie {
         throw new NotImplementedException();
     }
 
-    // (check-sat + get-unsat-core)
-    public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore)
+    // (check-sat + get-unsat-core + checkOutcome)
+    public virtual Outcome CheckAssumptions(List<VCExpr> assumptions, out List<int> unsatCore, ErrorHandler handler)
     {
         throw new NotImplementedException();
     }