1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Dec 23 15:41:36 2019 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Dec 23 16:38:09 2019 +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 -	 find_next_tactic thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);  
     1.8 +	 LucinNEW.find_next_tactic thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);  
     1.9  
    1.10  
    1.11