1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Mon Oct 02 12:02:59 2023 +0200
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Mon Oct 02 15:39:22 2023 +0200
     1.3 @@ -71,10 +71,8 @@
     1.4           => (itms, oris, probl, o_spec, spec)
     1.5        | _ => raise ERROR ""
     1.6        val (_, pI', _) = References.select_input o_spec spec
     1.7 -      val {model = pbl_patt, ...} = Problem.from_store ctxt pI';
     1.8 -      val {model = met_patt, ...} = MethodC.from_store ctxt mI;
     1.9 -      val (_, itms) = I_Model.s_make_complete oris
    1.10 -        (I_Model.OLD_to_TEST probl, I_Model.OLD_to_TEST itms) (pbl_patt, met_patt)
    1.11 +      val (_, itms) = I_Model.s_make_complete ctxt oris
    1.12 +        (I_Model.OLD_to_TEST probl, I_Model.OLD_to_TEST itms) (pI', mI)
    1.13  
    1.14           val (is, env, ctxt, prog) = case
    1.15             LItool.init_pstate ctxt itms mI of
    1.16 @@ -171,10 +169,8 @@
    1.17           => (itms, oris, probl, o_spec, spec)
    1.18        | _ => raise ERROR ""
    1.19        val (_, pI', _) = References.select_input o_spec spec
    1.20 -      val {model = pbl_patt, ...} = Problem.from_store ctxt pI';
    1.21 -      val {model = met_patt, ...} = MethodC.from_store ctxt mI;
    1.22 -      val (_, itms) = I_Model.s_make_complete oris
    1.23 -        (I_Model.OLD_to_TEST probl, I_Model.OLD_to_TEST itms) (pbl_patt, met_patt)
    1.24 +      val (_, itms) = I_Model.s_make_complete ctxt oris
    1.25 +        (I_Model.OLD_to_TEST probl, I_Model.OLD_to_TEST itms) (pI', mI)
    1.26        
    1.27        val (is, env, ctxt, sc) = case
    1.28          LItool.init_pstate ctxt itms mI of