1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 29 09:03:01 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 29 12:30:51 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 Appl m = applicable_in (p,p_) pt m; 
     1.8 + val Applicable.Yes m = applicable_in (p,p_) pt m; 
     1.9  (*solve*)
    1.10        val pp = par_pblobj pt p;
    1.11        val metID = get_obj g_metID pt pp;