1 files changed, 10 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index be371fcb..1564b76b 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -418,6 +418,8 @@ namespace Microsoft.Boogie {
     public string SimplifyLogFilePath = null;
     public bool PrintInstrumented = false;
     public bool InstrumentWithAsserts = false;
+    public string ProverPreamble = null;
+
     public enum InstrumentationPlaces {
       LoopHeaders,
       Everywhere
@@ -938,7 +940,14 @@ namespace Microsoft.Boogie {
           }
           return true;
 
-        case "logPrefix":
+        case "proverPreamble": 
+          if (ps.ConfirmArgumentCount(1))
+          {
+            ProverPreamble = args[ps.i];
+          }
+           return true;
+          
+          case "logPrefix":
           if (ps.ConfirmArgumentCount(1)) {
             string s = cce.NonNull(args[ps.i]);
             LogPrefix += s.Replace('/', '-').Replace('\\', '-');