1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -544,7 +544,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 Method.from_store) metID;
     1.8 +      val sc = (#scr o MethodC.from_store) 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';