1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml	Fri Jun 13 12:06:38 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml	Fri Jun 13 12:42:15 2014 +0200
     1.3 @@ -429,16 +429,16 @@
     1.4  
     1.5   CalcTree [(fmz, (dI',pI',mI'))];
     1.6   Iterator 1; moveActiveRoot 1;
     1.7 - autoCalculate 1 CompleteCalcHead;
     1.8 + autoCalculate' 1 CompleteCalcHead;
     1.9   refFormula 1 (get_pos 1 1); 
    1.10  
    1.11   fetchProposedTactic 1;
    1.12 - autoCalculate 1 (Step 1);
    1.13 + autoCalculate' 1 (Step 1);
    1.14  
    1.15   fetchProposedTactic 1;
    1.16 - autoCalculate 1 (Step 1);
    1.17 + autoCalculate' 1 (Step 1);
    1.18   (*Subproblem on_interval maximum_of function*)
    1.19 - autoCalculate 1 CompleteCalcHead;
    1.20 + autoCalculate' 1 CompleteCalcHead;
    1.21  
    1.22   fetchProposedTactic 1;
    1.23   val ((pt,p),_) = get_calc 1;