1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -258,7 +258,7 @@
     1.4  val ct = str2term"sqrt(9+4*x)=sqrt x + sqrt(5+x)";
     1.5  val ctl = ["sqrt(9+4*x)=sqrt x + sqrt(5+x)","x::real","0"];
     1.6  val oris = O_Model.init ctl thy 
     1.7 -		    ((#ppc o get_pbt)
     1.8 +		    ((#ppc o Problem.from_store)
     1.9  			 ["sqroot-test","univariate","equation","test"]);
    1.10  val loc = Istate.empty;
    1.11  val (pt,pos) = (e_ctree,[]);
    1.12 @@ -551,7 +551,7 @@
    1.13  (*solve*)
    1.14        val pp = par_pblobj pt p;
    1.15        val metID = get_obj g_metID pt pp;
    1.16 -      val sc = (#scr o get_met) metID;
    1.17 +      val sc = (#scr o Method.from_store) metID;
    1.18        val is = get_istate_LI pt (p,p_);
    1.19        val thy' = get_obj g_domID pt pp;
    1.20        val thy = ThyC.get_theory thy';