src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Mar 08 16:02:52 2005 +0100
+++ b/src/Pure/ROOT.ML	Wed Mar 09 18:44:52 2005 +0100
@@ -11,6 +11,7 @@
 
 
 print_depth 10;
+error_depth 30;
 
 (*fake hiding of private structures*)
 structure Hidden = struct end;