1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 89bcdbfa..80ffa072 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -1495,7 +1495,7 @@ namespace VC {
           {
             var timeout = (keep_going && s.LastChance) ? CommandLineOptions.Clo.VcsFinalAssertTimeout :
                   keep_going ? CommandLineOptions.Clo.VcsKeepGoingTimeout :
-                  CommandLineOptions.Clo.ProverKillTime;
+                  impl.TimeLimit;
 
             var checker = s.parent.FindCheckerFor(timeout, false);
             if (checker == null)