Fixed the merge build

dafny-lang · Jan 10, 2024 · 770da14 · 770da14
1 parent c7fb7c0
commit 770da14
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/Source/DafnyCore/AST/Grammar/IFileSystem.cs b/Source/DafnyCore/AST/Grammar/IFileSystem.cs
@@ -48,10 +48,7 @@ private OnDiskFileSystem() {
  }
 
  public TextReader ReadFile(Uri uri) {
- var reader = new StreamReader(uri.LocalPath);
- var str = reader.ReadToEnd();
- reader.Close();
- return new StringReader(str);
+ return new StreamReader(uri.LocalPath);
  }
 
  public bool Exists(Uri path) {

diff --git a/Source/DafnyDriver/CompilerDriver.cs b/Source/DafnyDriver/CompilerDriver.cs
@@ -596,7 +596,6 @@ public static void WriteFile(string filename, string text, string moreText = nul
  if (moreText != null) {
  target.Write(moreText);
  }
- target.Close();
  }
 
  private static void CheckFilenameIsLegal(string filename) {