1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat May 30 16:06:06 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method.sml	Sat May 30 16:18:01 2020 +0200
     1.3 @@ -68,7 +68,6 @@
     1.4           | _ => error "LI.by_tactic Apply_Method': uncovered case get_obj"
     1.5           val {ppc, ...} = Method.from_store mI;
     1.6           val itms = if itms <> [] then itms else I_Model.complete oris probl [] ppc
     1.7 -         val itms = Step_Specify.hack_until_review_Specify_1 mI itms
     1.8           val srls = LItool.get_simplifier (pt, pos)
     1.9           val (is, env, ctxt, prog) = case LItool.init_pstate srls ctxt itms mI of
    1.10             (is as Pstate {env, ...}, ctxt, scr) => (is, env, ctxt, scr)