1.1 --- a/test/Tools/isac/Interpret/rewtools.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/Interpret/rewtools.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -402,7 +402,7 @@
     1.4  "----------- fun guh2theID ------------------------------";
     1.5  
     1.6  val guh = "thy_scri_ListG-thm-zip_Nil";
     1.7 -print_depth 999;
     1.8 +print_depth 3; (*999*)
     1.9  take_fromto 1 4 (Symbol.explode guh);
    1.10  take_fromto 5 9 (Symbol.explode guh);
    1.11  val rest = takerest (9,(Symbol.explode guh));