1.1 --- a/test/Tools/isac/OLDTESTS/modspec.sml	Mon Sep 02 15:17:34 2013 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/modspec.sml	Mon Sep 02 16:16:08 2013 +0200
     1.3 @@ -31,8 +31,7 @@
     1.4        ([3, 2], Res)] then () else
     1.5  error "modspec.sml: diff.behav. get_interval after replace} other 2 a";
     1.6  
     1.7 -print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt);
     1.8 -print_depth 3;
     1.9 +print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); print_depth 3;
    1.10  if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = 
    1.11      [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else
    1.12  error "modspec.sml: diff.behav. get_interval after replace} other 2 b";