1.1 --- a/test/Tools/isac/Frontend/use-cases.sml	Mon Apr 20 10:33:55 2015 +0200
     1.2 +++ b/test/Tools/isac/Frontend/use-cases.sml	Mon Apr 20 14:18:40 2015 +0200
     1.3 @@ -343,7 +343,7 @@
     1.4   autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);
     1.5   autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);
     1.6   (*------------------------------------*)
     1.7 -(* print_depth 13; get_calc 1;
     1.8 +(* default_print_depth 13; get_calc 1;
     1.9     *)
    1.10   autoCalculate' 1 (Step 1); refFormula 1 (get_pos 1 1);
    1.11   (*calc-head of subproblem*)
    1.12 @@ -1277,7 +1277,7 @@
    1.13   if term2str f = "x - 1 = 0" andalso p = ([2], Res) then () else 
    1.14   error "FE-interface.sml: diff.behav. in FORMULA:replace} other 1";
    1.15  (* for getting the list in whole length ...
    1.16 -print_depth 99;map fst (get_interval ([1],Res) ([],Res) 9999 pt);print_depth 3;
    1.17 +default_print_depth 99;map fst (get_interval ([1],Res) ([],Res) 9999 pt);default_print_depth 3;
    1.18     *)
    1.19   if map fst (get_interval ([1],Res) ([],Res) 9999 pt) = 
    1.20      [([1], Res), ([2, 1], Frm), ([2, 1], Res), ([2, 2], Res), ([2, 3], Res),