Fixed the doo files

dafny-lang · Apr 1, 2024 · 9d66fa4 · 9d66fa4
1 parent 6d88e42
commit 9d66fa4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Source/DafnyCore/DooFile.cs b/Source/DafnyCore/DooFile.cs
@@ -103,7 +103,9 @@ private static DooFile Read(ZipArchive archive) {
   }
 
   public DooFile(Program dafnyProgram) {
-    var tw = new StringWriter();
+    var tw = new StringWriter {
+      NewLine = "\n"
+    };
     var pr = new Printer(tw, ProgramSerializationOptions, PrintModes.Serialization);
     // afterResolver is false because we don't yet have a way to safely skip resolution
     // when reading the program back into memory.

diff --git a/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo b/Source/DafnyStandardLibraries/binaries/DafnyStandardLibraries.doo