1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Tue Oct 03 16:33:54 2023 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Wed Oct 25 12:34:12 2023 +0200
     1.3 @@ -56,14 +56,17 @@
     1.4        val (o_model, ctxt, i_model) =
     1.5  Specify_Step.complete_for id (pt, pos);
     1.6  "~~~~~ fun complete_for , args:"; val (mID, (ctree, pos)) = (id, (pt, pos));
     1.7 -    val {origin = (o_model, _, _), probl = i_prob, ctxt,
     1.8 +    val {origin = (o_model, o_refs, _), spec = refs, probl = i_prob, meth = met_imod, ctxt,
     1.9         ...} = Calc.specify_data (ctree, pos);
    1.10 +    val ctxt = Ctree.get_ctxt ctree pos
    1.11 +    val (dI, _, _) = References.select_input o_refs refs;
    1.12      val {model = m_patt, where_, where_rls, ...} = MethodC.from_store ctxt mID
    1.13      val {origin = (root_model, _, _), ...} = Calc.specify_data (ctree, ([], Pos.Und))
    1.14      val (o_model', ctxt') = O_Model.complete_for m_patt root_model (o_model, ctxt)
    1.15  
    1.16 -    val (_, (i_model, _)) =
    1.17 -   M_Match.match_itms_oris ctxt i_prob (m_patt, where_, where_rls) o_model';
    1.18 +    val (_, (i_model, _)) = 
    1.19 +   M_Match.match_itms_oris ctxt o_model' (I_Model.OLD_to_TEST i_prob,
    1.20 +                            I_Model.OLD_to_TEST i_prob) (m_patt, where_, where_rls);
    1.21  "~~~~~ fun match_itms_oris , args:"; val (ctxt, pbl, (pbt, where_, where_rls), oris) =
    1.22    (ctxt, i_prob, (m_patt, where_, where_rls), o_model');
    1.23   (*0*)val mv = Pre_Conds.max_variant pbl;