1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Tue Mar 31 15:43:33 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Apr 01 10:24:13 2020 +0200
     1.3 @@ -26,7 +26,7 @@
     1.4  "--------- locate_input_term [rational,simplification] ----------------------";
     1.5  "--------- Take as 1st tac, start with <NEW> (CAS input) ---------";
     1.6  "--------- Take as 1st tac, start from exp -----------------------";
     1.7 -"--------- init_form, start with <NEW> (CAS input) ---------------";
     1.8 +"--------- implicit_take, start with <NEW> (CAS input) ---------------";
     1.9  "--------- build fun check_err_patt ------------------------------";
    1.10  "--------- build fun check_err_patt ?bdv -------------------------";
    1.11  "--------- build fun Error_Pattern.check_for ------------------------";
    1.12 @@ -732,9 +732,9 @@
    1.13  else error "diff.sml Diff (x^2 + x + 1, x) from exp";
    1.14  DEconstrCalcTree 1;
    1.15  
    1.16 -"--------- init_form, start with <NEW> (CAS input) ---------------";
    1.17 -"--------- init_form, start with <NEW> (CAS input) ---------------";
    1.18 -"--------- init_form, start with <NEW> (CAS input) ---------------";
    1.19 +"--------- implicit_take, start with <NEW> (CAS input) ---------------";
    1.20 +"--------- implicit_take, start with <NEW> (CAS input) ---------------";
    1.21 +"--------- implicit_take, start with <NEW> (CAS input) ---------------";
    1.22  reset_states ();
    1.23  CalcTree [([], ("e_domID", ["e_pblID"], ["e_metID"]))];
    1.24  (*[[from sml: > @@@@@begin@@@@@