1 files changed, 3 insertions, 1 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 607476e7..e88c000e 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -406,7 +406,9 @@ 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)
+    public virtual Outcome CheckRPFP(string descriptiveName, RPFP vc, ErrorHandler handler,
+                                     out RPFP.Node cex,
+                                     Dictionary<int, Dictionary<string, string>> varSubst)
     {
         throw new System.NotImplementedException();
     }