1.1 --- a/test/Tools/isac/Specify/step-specify.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/Specify/step-specify.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  "----------- re-build: Step_Specify.do_next  ---------------------------------------------------";
     1.5  "----------- re-build: Step_Specify.do_next  ---------------------------------------------------";
     1.6  States.reset ();  
     1.7 -CalcTree (*ATTENTION: encode_fmz ... unlike CalcTreeTEST*)
     1.8 +CalcTree @{context} (*ATTENTION: encode_fmz ... unlike Test_Code.init_calc @{context}*)
     1.9      [(["functionTerm (x \<up> 2 + 1)", "integrateBy x", "antiDerivative FF"],
    1.10        ("Integrate", ["integrate", "function"], ["diff", "integration"]))];
    1.11  Iterator 1;