Dafny: Made sure that error locations refer to the Dafny program, even if the /print option is used.

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);