1.1 --- a/test/Tools/isac/Knowledge/polyminus.sml	Wed Dec 18 14:48:43 2019 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/polyminus.sml	Wed Dec 18 15:33:27 2019 +0100
     1.3 @@ -360,8 +360,8 @@
     1.4  moveActiveRoot 1;
     1.5  autoCalculate 1 CompleteCalc;
     1.6  (* autoCalculate 1 CompleteCalcHead;
     1.7 -   autoCalculate 1 (Step 1);
     1.8 -   autoCalculate 1 (Step 1);
     1.9 +   autoCalculate 1 (Steps 1);
    1.10 +   autoCalculate 1 (Steps 1);
    1.11     val ((pt,p),_) = get_calc 1; term2str (get_obj g_res pt (fst p));
    1.12  @@@@@WN081114 gives "??.empty", all "Pruefe" are the same,
    1.13  although analogies work in interface.sml: FIXME.WN081114 in "Pruefe"*)
    1.14 @@ -410,8 +410,8 @@
    1.15  	    ["simplification","for_polynomials","with_minus"]))];
    1.16  moveActiveRoot 1;
    1.17  autoCalculate 1 CompleteCalcHead;
    1.18 -autoCalculate 1 (Step 1);
    1.19 -autoCalculate 1 (Step 1);
    1.20 +autoCalculate 1 (Steps 1);
    1.21 +autoCalculate 1 (Steps 1);
    1.22  val ((pt,p),_) = get_calc 1; show_pt pt;
    1.23  "----- 1 ^^^";
    1.24  fetchApplicableTactics 1 0 p;