1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Oct 07 20:46:48 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Sat Oct 08 11:40:48 2022 +0200
     1.3 @@ -542,7 +542,7 @@
     1.4  (*solve*)
     1.5        val pp = par_pblobj pt p;
     1.6        val metID = get_obj g_metID pt pp;
     1.7 -      val sc = (#scr o MethodC.from_store_PIDE ctxt) metID;
     1.8 +      val sc = (#scr o MethodC.from_store ctxt) metID;
     1.9        val is = get_istate_LI pt (p,p_);
    1.10        val thy' = get_obj g_domID pt pp;
    1.11        val thy = ThyC.get_theory thy';