1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Apr 06 11:44:36 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 08 12:32:51 2020 +0200
     1.3 @@ -561,7 +561,7 @@
     1.4        val is = get_istate_LI pt (p,p_);
     1.5        val thy' = get_obj g_domID pt pp;
     1.6        val thy = assoc_thy thy';
     1.7 -      val d = e_rls;
     1.8 +      val d = Rule_Set.empty;
     1.9      val Steps [(m',f',pt',p',c',s')] = 
    1.10  	     locate_input_tactic thy' m  (pt,(p,p_)) (sc,d) is;
    1.11           val is' = get_istate_LI pt' p';