# HG changeset patch
# User wenzelm
# Date 1489839307 -3600
# Node ID f2e80ff36b7e7e8956c8b7f95c975c271f5b1a87
# Parent  3f92d63dad12676451d36fd03880242d2aef4867
reset print_mode, e.g. relevant for saved heap;

diff -r 3f92d63dad12 -r f2e80ff36b7e src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Sat Mar 18 13:06:10 2017 +0100
+++ b/src/Pure/System/isabelle_process.ML	Sat Mar 18 13:15:07 2017 +0100
@@ -206,6 +206,8 @@
     val _ = loop channel;
     val _ = Message_Channel.shutdown msg_channel;
     val _ = Private_Output.init_channels ();
+
+    val _ = print_mode := [];
   in () end);