src/ZF/Tools/twos_compl.ML

--- a/src/ZF/Tools/twos_compl.ML	Tue Mar 25 16:54:38 2014 +0100
+++ b/src/ZF/Tools/twos_compl.ML	Tue Mar 25 17:59:34 2014 +0100
@@ -15,9 +15,6 @@
 For instance, ~5 div 2 = ~3 and ~5 mod 2 = 1; thus ~5 = (~3)*2 + 1
 
 Still needs division!
-
-print_depth 40;
-System.Control.Print.printDepth := 350; 
 *)
 
 infix 5 $$ $$$