From 479fe0571200196552e3d415ab3b90e30083b1b2 Mon Sep 17 00:00:00 2001
From: Ken McMillan <unknown>
Date: Mon, 11 Nov 2013 15:06:08 -0800
Subject: Fixedpoint VC catch up with recent changes

---
 Source/VCGeneration/FixedpointVC.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCGeneration/FixedpointVC.cs')

diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs
index 6fe3a103..addf69a2 100644
--- a/Source/VCGeneration/FixedpointVC.cs
+++ b/Source/VCGeneration/FixedpointVC.cs
@@ -112,7 +112,7 @@ namespace Microsoft.Boogie
                 checker = new Checker(this, program, logFilePath, appendLogFile, CommandLineOptions.Clo.ProverKillTime, null);
             else {
                 checker = old_checker;
-                checker.Retarget(program,checker.TheoremProver.Context);
+                checker.RetargetWithoutReset(program,checker.TheoremProver.Context);
             }
             old_checker = checker;
             boogieContext = checker.TheoremProver.Context;
-- 
cgit v1.2.3