1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4  
     1.5  "~~~~~ fun Step_Solve.by_tactic , args:"; val (m as Apply_Method' (mI, _, _, ctxt), (pt, (pos as (p,_))))
     1.6    = (m, (pt, pos));
     1.7 -      val {srls, ...} = get_met mI;
     1.8 +      val {srls, ...} = Method.from_store mI;
     1.9        val itms = case get_obj I pt p of
    1.10          PblObj {meth=itms, ...} => itms
    1.11        | _ => error "solve Apply_Method: uncovered case get_obj"
    1.12 @@ -545,7 +545,7 @@
    1.13          (*case*) In_Chead.cas_input f_in (*of*);
    1.14  
    1.15  (*old* )     val (_, _, metID) = get_obj g_spec pt (par_pblobj pt p)
    1.16 -(*old*)     val {scr = prog, ...} = Specify.get_met metID
    1.17 +(*old*)     val {scr = prog, ...} = Method.from_store metID
    1.18  (*old*)     val istate = get_istate_LI pt pos
    1.19  (*old*)     val ctxt = get_ctxt pt pos
    1.20    val LI.Found_Step (cstate'''''_', _(*istate*), _(*ctxt*)) = (*case*)