1 files changed, 5 insertions, 0 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index fe4b4b99..607476e7 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -405,6 +405,11 @@ namespace Microsoft.Boogie {
       }
     }
     public abstract void BeginCheck(string descriptiveName, VCExpr vc, ErrorHandler handler);
+    
+    public virtual Outcome CheckRPFP(string descriptiveName, RPFP vc, ErrorHandler handler, out RPFP.Node cex)
+    {
+        throw new System.NotImplementedException();
+    }
     [NoDefaultContract]
     public abstract Outcome CheckOutcome(ErrorHandler handler);
     public virtual string[] CalculatePath(int controlFlowConstant) {