1 files changed, 4 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index d74497c0..5702111d 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -829,6 +829,10 @@ namespace Microsoft.Boogie {
         throw new NotImplementedException();
     }
 
+    public virtual Outcome CheckAssumptions(List<VCExpr> hardAssumptions, List<VCExpr> softAssumptions, out List<int> unsatisfiedSoftAssumptions) {
+      throw new NotImplementedException();
+    }
+
     public virtual Outcome CheckOutcomeCore(ErrorHandler handler)
     {
         throw new NotImplementedException();