1 files changed, 5 insertions, 1 deletions
diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs
index 4b4e970e..7dbf6b05 100644
--- a/Source/VCGeneration/FixedpointVC.cs
+++ b/Source/VCGeneration/FixedpointVC.cs
@@ -1521,6 +1521,7 @@ namespace Microsoft.Boogie
             RPFP.Node cex;
             varSubst = new Dictionary<int,Dictionary<string,string>>();
 
+#if false
             int origRecursionBound = CommandLineOptions.Clo.RecursionBound;
             if (CommandLineOptions.Clo.RecursionBound > 0 && extraRecBound != null)
             {
@@ -1532,12 +1533,15 @@ namespace Microsoft.Boogie
                 }
                 CommandLineOptions.Clo.RecursionBound += maxExtra;
             }
+#endif
             
             ProverInterface.Outcome outcome =
-                 checker.TheoremProver.CheckRPFP("name", rpfp, handler, out cex, varSubst);
+                 checker.TheoremProver.CheckRPFP("name", rpfp, handler, out cex, varSubst, extraRecBound);
             cexroot = cex;
 
+#if false
             CommandLineOptions.Clo.RecursionBound = origRecursionBound;
+#endif
           
             Console.WriteLine("solve: {0}s", (DateTime.Now - start).TotalSeconds);