1.1 --- a/src/Tools/isac/Specify/specify.sml	Sun Dec 04 16:48:06 2022 +0100
     1.2 +++ b/src/Tools/isac/Specify/specify.sml	Thu Dec 08 10:16:40 2022 +0100
     1.3 @@ -215,8 +215,8 @@
     1.4      | _ => raise ERROR "do_all: uncovered case get_obj"
     1.5      val ctxt = Ctree.get_ctxt pt pos
     1.6  	  val {model, ...} = MethodC.from_store ctxt mI
     1.7 -    val (_, vals) = O_Model.values' pors
     1.8 -	  val ctxt = ContextC.initialise dI vals
     1.9 +    val (_, vals) = O_Model.values' ctxt pors
    1.10 +	  val ctxt = ContextC.initialise ctxt vals
    1.11      val (pt, _) = Ctree.cupdate_problem pt p ((dI, pI, mI),
    1.12        map (I_Model.complete' model) pors, map (I_Model.complete' model) pors, ctxt)
    1.13    in