1.1 --- a/test/Tools/isac/Minisubpbl/700-interSteps.sml	Mon May 04 11:13:16 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/700-interSteps.sml	Mon May 04 12:38:16 2020 +0200
     1.3 @@ -87,7 +87,7 @@
     1.4  	  val rls = (assoc_rls o Tactic.rls_of) tac
     1.5      val ctxt = get_ctxt pt pos
     1.6    val _ = (*case*) rls (*of*);
     1.7 -        val is = Generate.init_istate tac t
     1.8 +        val is = Istate.init_detail tac t
     1.9  
    1.10  (*+*)val Rule_Set.Repeat {scr = EmptyProg, ...} = rls; (*this prog is replaced by Auto_Prog.gen on the fly*)
    1.11