1 files changed, 10 insertions, 0 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index d557bc55..6b4c570a 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -167,6 +167,16 @@ namespace Microsoft.Boogie {
       //base();
     }
 
+    public TokenTextWriter(string filename, bool setTokens)
+      : base() {//BASEMOVE DANGER
+      Contract.Requires(writer != null);
+      Contract.Requires(filename != null);
+      this.filename = filename;
+      this.writer = new StreamWriter(filename);
+      this.setTokens = setTokens;
+      //base();
+    }
+
     public TokenTextWriter(string filename, TextWriter writer, bool setTokens)
       : base() {//BASEMOVE DANGER
       Contract.Requires(writer != null);