1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Jun 03 09:56:24 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Wed Jun 03 11:25:19 2020 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  "~~~~~ fun do_next, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
     1.5  val pIopt = get_pblID (pt,ip); (*= SOME ["sqroot-test", "univariate", ...]*)
     1.6  tacis; (*= []*)
     1.7 -Library.member op = [Pbl,Met] p_; (*= false*)
     1.8 +member op = [Pbl,Met] p_; (*= false*)
     1.9  "~~~~~ and do_next , args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
    1.10      (*if*) Method.id_empty = get_obj g_metID pt (par_pblobj pt p) (*else*);
    1.11          val thy' = get_obj g_domID pt (par_pblobj pt p);