1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Fri May 01 15:28:40 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri May 01 16:06:59 2020 +0200
     1.3 @@ -553,7 +553,7 @@
     1.4  (*me------------
     1.5   val (mI,m) = nxt; val pos' as (p,p_) = p; 
     1.6  
     1.7 - val Applicable.Yes m = applicable_in (p,p_) pt m; 
     1.8 + val Applicable.Yes m = Step.check m (pt, (p,p_)); 
     1.9  (*solve*)
    1.10        val pp = par_pblobj pt p;
    1.11        val metID = get_obj g_metID pt pp;