1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Thu Jan 16 15:17:06 2020 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Jan 17 12:37:21 2020 +0100
     1.3 @@ -565,7 +565,7 @@
     1.4      val Steps [(m',f',pt',p',c',s')] = 
     1.5  	     locate_input_tactic thy' m  (pt,(p,p_)) (sc,d) is;
     1.6           val is' = get_istate pt' p';
     1.7 -	 LucinNEW.find_next_tactic thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);  
     1.8 +	 LucinNEW.find_next_step thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);  
     1.9  
    1.10  
    1.11