1 files changed, 2 insertions, 3 deletions
diff --git a/Source/VCGeneration/Check.cs b/Source/VCGeneration/Check.cs
index 130852f7..91c8a010 100644
--- a/Source/VCGeneration/Check.cs
+++ b/Source/VCGeneration/Check.cs
@@ -134,16 +134,15 @@ namespace Microsoft.Boogie {
         options.LogFilename = logFilePath;
         if (appendLogFile)
           options.AppendLogFile = appendLogFile;
-        options.PostParse();
       }
 
-      options.Parse(CommandLineOptions.Clo.ProverOptions);
-
       if (timeout > 0) {
         options.TimeLimit = timeout * 1000;
       }
       options.BitVectors = this.bitvectors;
 
+      options.Parse(CommandLineOptions.Clo.ProverOptions);
+
       ContextCacheKey key = new ContextCacheKey(prog, this.bitvectors);
       ProverContext ctx;
       ProverInterface prover;