Working on fixedpoint backend

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();

     }