1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 15 16:46:41 2020 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Apr 15 18:00:58 2020 +0200
     1.3 @@ -560,7 +560,7 @@
     1.4        val sc = (#scr o get_met) metID;
     1.5        val is = get_istate_LI pt (p,p_);
     1.6        val thy' = get_obj g_domID pt pp;
     1.7 -      val thy = assoc_thy thy';
     1.8 +      val thy = ThyC.get_theory thy';
     1.9        val d = Rule_Set.empty;
    1.10      val Steps [(m',f',pt',p',c',s')] = 
    1.11  	     locate_input_tactic thy' m  (pt,(p,p_)) (sc,d) is;