1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Oct 19 15:39:15 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Oct 20 10:23:38 2022 +0200
     1.3 @@ -391,7 +391,7 @@
     1.4  val (dI',pI',mI') =
     1.5    ("Test",["sqroot-test", "univariate", "equation", "test"],
     1.6     ("Test", "sqrt-equ-test"));
     1.7 -val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
     1.8 +val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
     1.9  (*val nxt = ("Add_Given", Add_Given "equation (sqrt (#9 + #4 * x)  = sqrt x  + sqrt (#5 + x) )");*)
    1.10  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.11  (* val nxt = ("Add_Given",Add_Given "bound_variable x");*)
    1.12 @@ -493,7 +493,7 @@
    1.13    ("Test",["sqroot-test", "univariate", "equation", "test"],
    1.14     ["Test", "sqrt-equ-test"]);
    1.15  "--- s1 ---";
    1.16 -val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.17 +val (p,_,f,nxt,_,pt) = Test_Code.init_calc @{context} [(fmz, (dI',pI',mI'))];
    1.18  "--- s1b ---";
    1.19  val nxt = ("Model_Problem",
    1.20  	   Model_Problem(*["sqroot-test", "univariate", "equation", "test"]*));