1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Mon Apr 20 10:33:55 2015 +0200
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Mon Apr 20 14:18:40 2015 +0200
     1.3 @@ -39,14 +39,14 @@
     1.4   val (unc, del, gen) = (([1],Res), ([4],Res), ([3,2],Res));
     1.5   val ((pt,_),_) = get_calc 1;
     1.6  
     1.7 -print_depth 99;map fst (get_interval ([],Pbl) ([],Res) 9999 pt);print_depth 3;
     1.8 +default_print_depth 99;map fst (get_interval ([],Pbl) ([],Res) 9999 pt);default_print_depth 3;
     1.9  if map fst (get_interval ([],Pbl) ([],Res) 9999 pt) = 
    1.10      [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), 
    1.11       ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res),
    1.12        ([3, 2], Res)] then () else
    1.13  error "calchead.sml: diff.behav. get_interval after replace} other 2 a";
    1.14  
    1.15 -print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); print_depth 3;
    1.16 +default_print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt); default_print_depth 3;
    1.17  if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = 
    1.18      [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else
    1.19  error "modspec.sml: diff.behav. get_interval after replace} other 2 b";