src/Pure/General/file.scala

--- a/src/Pure/General/file.scala	Thu Mar 04 19:55:52 2021 +0100
+++ b/src/Pure/General/file.scala	Thu Mar 04 21:04:27 2021 +0100
@@ -199,7 +199,7 @@
     val output = new StringBuilder(100)
     var c = -1
     while ({ c = reader.read; c != -1 }) output += c.toChar
-    reader.close
+    reader.close()
     output.toString
   }
 
@@ -233,7 +233,7 @@
       progress(line.get)
       result += line.get
     }
-    reader.close
+    reader.close()
     result.toList
   }