src/Pure/ML/ml_pretty.ML

 local
   val depth = Unsynchronized.ref 0;
 in
   fun get_print_depth () = ! depth;
   fun print_depth n = (depth := n; PolyML.print_depth n);
-  val _ = print_depth 10;
+  val _ = print_depth 20;
 end;
 
 
 (* format *)