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

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 2c2e64e6..c7a929b8 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -250,8 +250,8 @@ namespace Microsoft.Dafny
           CommandLineOptions.Clo.PrintDesugarings = false;

         }

         using (TokenTextWriter writer = filename == "-" ?

-                                        new TokenTextWriter("<console>", Console.Out) :

-                                        new TokenTextWriter(filename))

+                                        new TokenTextWriter("<console>", Console.Out, false) :

+                                        new TokenTextWriter(filename, false))

         {

             writer.WriteLine("// " + CommandLineOptions.Clo.Version);

             writer.WriteLine("// " + CommandLineOptions.Clo.Environment);