Options.PostParse() is called by Parse(), so set command-line-derived options before calling Parse()

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;