handling timeouts for fixedpoint engines

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/VCGeneration/FixedpointVC.cs b/Source/VCGeneration/FixedpointVC.cs
index 19feabe9..e5bcbc22 100644
--- a/Source/VCGeneration/FixedpointVC.cs
+++ b/Source/VCGeneration/FixedpointVC.cs
@@ -109,7 +109,7 @@ namespace Microsoft.Boogie
             program = _program;

             gen = ctx;

             if(old_checker == null)

-              checker = new Checker(this, program, logFilePath, appendLogFile, 0, null);

+                checker = new Checker(this, program, logFilePath, appendLogFile, CommandLineOptions.Clo.ProverKillTime, null);

             else {

                 checker = old_checker;

                 checker.Retarget(program,checker.TheoremProver.Context);