# HG changeset patch
# User wenzelm
# Date 1395766774 -3600
# Node ID f7de8392a507e3c19fad72c3676b6294058255e8
# Parent  b4d874f6c6bec8bb4710df1a2bd57d76c7ad160f
removed junk;

diff -r b4d874f6c6be -r f7de8392a507 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 $$ $$$