1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Dec 21 16:07:18 2019 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Sat Dec 21 16:45:10 2019 +0100
     1.3 @@ -52,7 +52,7 @@
     1.4  val pIopt = get_pblID (pt,ip); (*= SOME ["sqroot-test", "univariate", ...]*)
     1.5  tacis; (*= []*)
     1.6  member op = [Pbl,Met] p_ andalso is_none (get_obj g_env pt (fst p)); (*= false*)
     1.7 -"~~~~~ and do_solve_step , args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
     1.8 +"~~~~~ and do_next , args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
     1.9      (*if*) Celem.e_metID = get_obj g_metID pt (par_pblobj pt p) (*else*);
    1.10          val thy' = get_obj g_domID pt (par_pblobj pt p);
    1.11  	      val (srls, (ist, ctxt), sc) = Lucin.from_pblobj_or_detail' thy' (p,p_) pt;