1.1 --- a/test/Tools/isac/Knowledge/rooteq.sml	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rooteq.sml	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -548,7 +548,7 @@
     1.4  val (dI',pI',mI') =
     1.5    ("Test",["sqroot-test", "univariate", "equation", "test"],
     1.6     ["Test", "square_equation2"]);
     1.7 -val Prog sc = (#scr o Method.from_store) ["Test", "square_equation2"];
     1.8 +val Prog sc = (#scr o MethodC.from_store) ["Test", "square_equation2"];
     1.9  (writeln o UnparseC.term) sc;
    1.10  
    1.11  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.12 @@ -614,7 +614,7 @@
    1.13  
    1.14  
    1.15  
    1.16 -val Prog s = (#scr o Method.from_store) ["Test", "square_equation"];
    1.17 +val Prog s = (#scr o MethodC.from_store) ["Test", "square_equation"];
    1.18  atomt s;
    1.19  
    1.20  
    1.21 @@ -685,7 +685,7 @@
    1.22  val (dI',pI',mI') =
    1.23    ("Test",["squareroot", "univariate", "equation", "test"],
    1.24     ["Test", "square_equation"]);
    1.25 - val Prog sc = (#scr o Method.from_store) ["Test", "square_equation"];
    1.26 + val Prog sc = (#scr o MethodC.from_store) ["Test", "square_equation"];
    1.27   (writeln o UnparseC.term) sc;
    1.28  
    1.29  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];