1.1 --- a/src/Tools/isac/Specify/specify.sml	Thu Dec 08 10:33:27 2022 +0100
     1.2 +++ b/src/Tools/isac/Specify/specify.sml	Thu Dec 08 17:55:45 2022 +0100
     1.3 @@ -178,7 +178,7 @@
     1.4              val tac' = I_Model.make_tactic m_field (ct, i_model')
     1.5  	          val  (_, _, _, pt') =  Specify_Step.add tac' (Istate_Def.Uistate, ctxt) (pt, pos)
     1.6  	        in
     1.7 -            ("ok", ([(Tactic.input_from_T tac', tac', (pos, (Istate_Def.Uistate, ctxt)))],
     1.8 +            ("ok", ([(Tactic.input_from_T ctxt tac', tac', (pos, (Istate_Def.Uistate, ctxt)))],
     1.9                [], (pt', pos)))
    1.10            end
    1.11        | I_Model.Err msg => (msg, ([], [], (pt, pos)))