src/Pure/Tools/ml_process.scala
changeset 62672 068b430e678f
parent 62668 360d3464919c
child 62677 0df43889f496
--- a/src/Pure/Tools/ml_process.scala	Fri Mar 18 20:35:01 2016 +0100
+++ b/src/Pure/Tools/ml_process.scala	Fri Mar 18 21:21:09 2016 +0100
@@ -68,13 +68,13 @@
 
     val eval_process =
       if (heaps.isEmpty)
-        List("PolyML.print_depth 10")
+        List("PolyML.print_depth 20")
       else
         channel match {
           case None =>
-            List("(ML_Pretty.print_depth 10; Isabelle_Process.init_options ())")
+            List("(ML_Pretty.print_depth 20; Isabelle_Process.init_options ())")
           case Some(ch) =>
-            List("(ML_Pretty.print_depth 10; Isabelle_Process.init_protocol " +
+            List("(ML_Pretty.print_depth 20; Isabelle_Process.init_protocol " +
               ML_Syntax.print_string0(ch.server_name) + ")")
         }