src/Pure/General/file_stream.ML

--- a/src/Pure/General/file_stream.ML	Tue Sep 26 13:34:04 2023 +0200
+++ b/src/Pure/General/file_stream.ML	Tue Sep 26 13:37:08 2023 +0200
@@ -31,7 +31,8 @@
     let
       val file = open_file path;
       val result = Exn.capture (run f) file;
-    in close_file file; Exn.release result end);
+      val _ = close_file file;
+    in Exn.release result end);
 
 in