src/Pure/System/isabelle_process.ML
changeset 71853 ec14ef6dd09b
parent 71852 45c2b8cf1b26
child 71855 494704309099
--- a/src/Pure/System/isabelle_process.ML	Tue Mar 31 14:09:36 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Mar 31 14:40:56 2020 +0200
@@ -204,6 +204,8 @@
     val _ = Future.shutdown ();
     val _ = Execution.reset ();
     val _ = Message_Channel.shutdown msg_channel;
+    val _ = BinIO.closeIn in_stream;
+    val _ = BinIO.closeOut out_stream;
 
   in Exn.release result end);