src/HOLCF/ROOT.ML

--- a/src/HOLCF/ROOT.ML	Mon Jun 20 22:13:55 2005 +0200
+++ b/src/HOLCF/ROOT.ML	Mon Jun 20 22:13:56 2005 +0200
@@ -8,8 +8,6 @@
 val banner = "HOLCF";
 writeln banner;
 
-print_depth 1;
-
 use_thy "HOLCF";
 
 use "holcf_logic.ML";
@@ -24,5 +22,3 @@
 use "domain/interface.ML";
 
 path_add "~~/src/HOLCF/ex";
-
-print_depth 10;