1.1 --- a/src/Tools/isac/Specify/specify-step.sml	Tue Jul 26 22:29:35 2022 +0200
     1.2 +++ b/src/Tools/isac/Specify/specify-step.sml	Wed Jul 27 13:11:43 2022 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4    let
     1.5      val {origin = (o_model, o_refs, _), spec = refs, probl = i_prob, ctxt,
     1.6         ...} = Calc.specify_data (ctree, pos);
     1.7 -    val (dI, _, _) = References.select o_refs refs;
     1.8 +    val (dI, _, _) = References.select_input o_refs refs;
     1.9      val {ppc = m_patt, pre, prls, ...} = MethodC.from_store mID
    1.10      val {origin = (root_model, _, _), ...} = Calc.specify_data (ctree, ([], Pos.Und))
    1.11      val (o_model', ctxt') = O_Model.complete_for m_patt root_model (o_model, ctxt)