1.1 --- a/test/Tools/isac/Interpret/error-pattern.sml	Fri May 27 12:07:55 2022 +0200
     1.2 +++ b/test/Tools/isac/Interpret/error-pattern.sml	Fri May 27 15:12:54 2022 +0200
     1.3 @@ -470,7 +470,7 @@
     1.4  "--------- CAS-command on ([],Pbl) -------------------------------";
     1.5  "--------- CAS-command on ([],Pbl) -------------------------------";
     1.6  val (p,_,f,nxt,_,pt) = 
     1.7 -    CalcTreeTEST [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))];
     1.8 +    CalcTreeTEST [([], References.empty)];
     1.9  val ifo = "solve(x+1=2,x)";
    1.10  val (_,(_,c,(pt,p))) = Step_Solve.by_term (pt,p) "solve(x+1=2,x)";
    1.11  (*
    1.12 @@ -492,7 +492,7 @@
    1.13  "--------- CAS-command on ([],Pbl) FE-interface ------------------";
    1.14  "--------- CAS-command on ([],Pbl) FE-interface ------------------";
    1.15  reset_states ();
    1.16 -CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))];
    1.17 +CalcTree [([], References.empty)];
    1.18  Iterator 1;
    1.19  moveActiveRoot 1;
    1.20  replaceFormula 1 "solve(x+1=2,x)";
    1.21 @@ -644,7 +644,7 @@
    1.22  TermC.atomty t;
    1.23  "-----------------------------------------------------------------";
    1.24  (*1>*)reset_states ();
    1.25 -(*2>*)CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))];
    1.26 +(*2>*)CalcTree [([], References.empty)];
    1.27  (*3>*)Iterator 1;moveActiveRoot 1;
    1.28  "----- here the Headline has been finished";
    1.29  (*4>*)moveActiveFormula 1 ([],Pbl);
    1.30 @@ -744,7 +744,7 @@
    1.31  "--------- implicit_take, start with <NEW> (CAS input) ---------------";
    1.32  "--------- implicit_take, start with <NEW> (CAS input) ---------------";
    1.33  reset_states ();
    1.34 -CalcTree [([], ("empty_thy_id", ["empty_probl_id"], ["empty_meth_id"]))];
    1.35 +CalcTree [([], References.empty)];
    1.36  (*[[from sml: > @@@@@begin@@@@@
    1.37  [[from sml:  1 
    1.38  [[from sml: <CALCTREE>