diff -r 84fcead1f20b -r e352f65d5893 src/Cube/ROOT.ML
--- a/src/Cube/ROOT.ML	Sat Sep 03 21:43:12 2005 +0200
+++ b/src/Cube/ROOT.ML	Sat Sep 03 21:43:50 2005 +0200
@@ -9,8 +9,4 @@
 val banner = "Barendregt's Lambda-Cube";
 writeln banner;
 
-print_depth 1;  
-
 use_thy "Cube";
-
-print_depth 8;