diff -r 373d13915f8c -r 273ffde50058 test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Tue Mar 31 15:43:33 2020 +0200
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Apr 01 10:24:13 2020 +0200
@@ -26,7 +26,7 @@
 "--------- locate_input_term [rational,simplification] ----------------------";
 "--------- Take as 1st tac, start with <NEW> (CAS input) ---------";
 "--------- Take as 1st tac, start from exp -----------------------";
-"--------- init_form, start with <NEW> (CAS input) ---------------";
+"--------- implicit_take, start with <NEW> (CAS input) ---------------";
 "--------- build fun check_err_patt ------------------------------";
 "--------- build fun check_err_patt ?bdv -------------------------";
 "--------- build fun Error_Pattern.check_for ------------------------";
@@ -732,9 +732,9 @@
 else error "diff.sml Diff (x^2 + x + 1, x) from exp";
 DEconstrCalcTree 1;
 
-"--------- init_form, start with <NEW> (CAS input) ---------------";
-"--------- init_form, start with <NEW> (CAS input) ---------------";
-"--------- init_form, start with <NEW> (CAS input) ---------------";
+"--------- implicit_take, start with <NEW> (CAS input) ---------------";
+"--------- implicit_take, start with <NEW> (CAS input) ---------------";
+"--------- implicit_take, start with <NEW> (CAS input) ---------------";
 reset_states ();
 CalcTree [([], ("e_domID", ["e_pblID"], ["e_metID"]))];
 (*[[from sml: > @@@@@begin@@@@@