diff -r b73e64a8a329 -r 2b26d0882d4f test/Tools/isac/OLDTESTS/root-equ.sml
--- a/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Nov 27 18:47:26 2019 +0100
+++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Fri Nov 29 15:22:29 2019 +0100
@@ -565,7 +565,7 @@
     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';
-	 determine_next_tactic thy' (pt'(*'*),p') sc is';  
+	 determine_next_tactic thy' sc (pt'(*'*),p') is' (*as (ist, ctxt) ---> ist ctxt*);