src/Pure/ML/ml_pretty.ML
changeset 62672 068b430e678f
parent 62663 bea354f6ff21
child 62711 09df6a51ad3c
--- a/src/Pure/ML/ml_pretty.ML	Fri Mar 18 20:35:01 2016 +0100
+++ b/src/Pure/ML/ml_pretty.ML	Fri Mar 18 21:21:09 2016 +0100
@@ -96,7 +96,7 @@
 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;