diff -r 1e69c59424e5 -r c384f7ab263d test/Tools/isac/OLDTESTS/root-equ.sml
--- a/test/Tools/isac/OLDTESTS/root-equ.sml	Sun Feb 16 16:26:05 2020 +0100
+++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Feb 20 11:55:29 2020 +0100
@@ -558,13 +558,13 @@
       val pp = par_pblobj pt p;
       val metID = get_obj g_metID pt pp;
       val sc = (#scr o get_met) metID;
-      val is = get_istate pt (p,p_);
+      val is = get_istate_LI pt (p,p_);
       val thy' = get_obj g_domID pt pp;
       val thy = assoc_thy thy';
       val d = e_rls;
     val Steps [(m',f',pt',p',c',s')] = 
 	     locate_input_tactic thy' m  (pt,(p,p_)) (sc,d) is;
-         val is' = get_istate pt' p';
+         val is' = get_istate_LI pt' p';
 	 LI.find_next_step thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);