1.1 --- a/test/Tools/isac/Knowledge/diffapp.sml Wed Oct 05 10:51:25 2016 +0200
1.2 +++ b/test/Tools/isac/Knowledge/diffapp.sml Wed Oct 05 13:09:54 2016 +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;