1 files changed, 13 insertions, 3 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 4bc845dd..5094fb9e 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -72,8 +72,12 @@ namespace Microsoft.Boogie {
       }
     }
 
-    public static readonly CommandLineOptions/*!*/ Clo = new CommandLineOptions();  // singleton to access all global data
-
+    private static CommandLineOptions clo = new CommandLineOptions(); 
+    public static CommandLineOptions/*!*/ Clo
+    {
+      get { return clo; }
+    }
+    
     public string/*!*/ Environment = "";
     public string/*!*/ FileName = "unknown";
 
@@ -441,10 +445,16 @@ namespace Microsoft.Boogie {
     public HoudiniFlags/*!*/ houdiniFlags = new HoudiniFlags();
 
     [Verify(false)]
-    public CommandLineOptions() {
+    private CommandLineOptions() {
       // this is just to suppress verification. 
     }
 
+    [Verify(false)]
+    public static void ResetClo()
+    {
+      clo = new CommandLineOptions();
+    }
+
 
     /// <summary>
     /// Parses the command-line arguments "args" into the global flag variables.  The possible result