diff -r 09df6a51ad3c -r 22a17cec2efe src/Pure/Tools/ml_process.scala
--- a/src/Pure/Tools/ml_process.scala	Sat Mar 26 12:22:15 2016 +0100
+++ b/src/Pure/Tools/ml_process.scala	Sat Mar 26 12:35:11 2016 +0100
@@ -66,17 +66,15 @@
     val env_options = Map("ISABELLE_PROCESS_OPTIONS" -> File.standard_path(isabelle_process_options))
     val eval_options = if (heaps.isEmpty) Nil else List("Options.load_default ()")
 
-    val print_depth = ML_Syntax.print_int(options.int("ML_print_depth"))
     val eval_process =
       if (heaps.isEmpty)
-        List("PolyML.print_depth " + print_depth)
+        List("PolyML.print_depth " + ML_Syntax.print_int(options.int("ML_print_depth")))
       else
         channel match {
           case None =>
-            List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_options ())")
+            List("Isabelle_Process.init_options ()")
           case Some(ch) =>
-            List("(ML_Pretty.print_depth " + print_depth + "; Isabelle_Process.init_protocol " +
-              ML_Syntax.print_string0(ch.server_name) + ")")
+            List("Isabelle_Process.init_protocol " + ML_Syntax.print_string0(ch.server_name))
         }
 
     // ISABELLE_TMP