1.1 --- a/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Tue May 12 16:22:00 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/490-nxt-Check_Postcond.sml	Tue May 12 17:42:29 2020 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  "~~~~~ fun by_tactic , args:"; val ((Check_Postcond' (pI, _)), (sub_ist, sub_ctxt), (pt, pos as (p,_))) =
     1.5                                   (tac, (ist, ctxt), ptp);
     1.6        val parent_pos = par_pblobj pt p
     1.7 -      val {scr, ...} = Specify.get_met (get_obj g_metID pt parent_pos);
     1.8 +      val {scr, ...} = Method.from_store (get_obj g_metID pt parent_pos);
     1.9        val prog_res =
    1.10           case LI.find_next_step scr (pt, pos) sub_ist sub_ctxt of
    1.11  (*OLD*)    Next_Step (_, _, Tactic.Check_elementwise' (_, _, (prog_res, _))) => prog_res