1.1 --- a/test/Tools/isac/Knowledge/atools.sml	Mon Apr 20 10:33:55 2015 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/atools.sml	Mon Apr 20 14:18:40 2015 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  use"atools.sml";
     1.5  *)
     1.6  
     1.7 -print_depth 5;
     1.8 +default_print_depth 5;
     1.9  "--------------------------------------------------------";
    1.10  "table of contents --------------------------------------";
    1.11  "--------------------------------------------------------";