1.1 --- a/test/Tools/isac/ProgLang/auto_prog.sml	Thu Dec 08 17:55:45 2022 +0100
     1.2 +++ b/test/Tools/isac/ProgLang/auto_prog.sml	Fri Dec 09 13:51:02 2022 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4  if UnparseC.terms (formal_args auto_script) = "[\"t_t\", \"v\"]"
     1.5  then () else error "formal_args of auto-gen.script changed";
     1.6  
     1.7 -    Istate.init_detail (Rewrite_Set_Inst (["(''bdv'', x)"], "integration_rules")) (TermC.parse_test @{context} "someTermWithBdv");
     1.8 +    Istate.init_detail ctxt (Rewrite_Set_Inst (["(''bdv'', x)"], "integration_rules")) (TermC.parse_test @{context} "someTermWithBdv");
     1.9  "~~~~~ fun init_detail , args:"; val ((Tactic.Rewrite_Set_Inst (subs, rls)), t)
    1.10    = ((Rewrite_Set_Inst (["(''bdv'', x)"], "integration_rules")), TermC.parse_test @{context} "someTermWithBdv");
    1.11        val v = case Tactic.subst_adapt_to_type ctxt subs of