1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method.sml	Tue Jun 25 16:21:18 2019 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method.sml	Wed Jul 03 15:09:16 2019 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4  case tacis of [] => ();
     1.5  case pIopt of SONE => ();
     1.6  member op = [Ctree.Pbl, Ctree.Met] p_ andalso is_none (Ctree.get_obj Ctree.g_env pt (fst p)) (* = false*);
     1.7 -"~~~~~ fun nxt_solve_, args:"; val (ptp as (pt, pos as (p, p_))) = (pt,ip);
     1.8 +"~~~~~ fun do_solve_step, args:"; val (ptp as (pt, pos as (p, p_))) = (pt,ip);
     1.9  Celem.e_metID = get_obj g_metID pt (par_pblobj pt p) (* = false*);
    1.10          val thy' = get_obj g_domID pt (par_pblobj pt p);
    1.11  	      val (srls, is, sc) = Lucin.from_pblobj_or_detail' thy' (p,p_) pt;