1.1 --- a/src/Tools/isac/Specify/step-specify.sml	Thu Nov 16 08:15:46 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/step-specify.sml	Sun Nov 19 07:51:41 2023 +0100
     1.3 @@ -29,7 +29,7 @@
     1.4        | _ => raise ERROR "by_tactic_input Model_Problem; uncovered case get_obj"
     1.5        val (_, pI, mI) = References.select_input ospec spec
     1.6        val {cas, model, ...} = Problem.from_store (Ctree.get_ctxt pt pos) pI
     1.7 -      val pbl = I_Model.init_TEST oris model (* fill in descriptions *)
     1.8 +      val pbl = I_Model.init_TEST ctxt oris model (* fill in descriptions *)
     1.9        val (pbl, met) = case cas of
    1.10          NONE => (pbl, [])
    1.11        | _ => I_Model.s_make_complete ctxt oris (I_Model.OLD_to_TEST probl, I_Model.OLD_to_TEST meth) (pI, mI)