1.1 --- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu May 14 16:58:33 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Fri May 15 11:46:43 2020 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  "~~~~~ fun me, args:"; val tac = nxt;
     1.5  val (pt, p) = case Step.by_tactic tac (pt,p) of
     1.6  ("ok", (_, _, ptp)) => ptp | _ => error "script.sml Step.by_tactic";
     1.7 -show_pt pt; (*...(([3], Res), [x = 1])]... back in root, OK *)
     1.8 +Test_Tool.show_pt pt; (*...(([3], Res), [x = 1])]... back in root, OK *)
     1.9  "~~~~~ fun do_next, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
    1.10  val pIopt = get_pblID (pt,ip); (*= SOME ["sqroot-test", "univariate", ...]*)
    1.11  tacis; (*= []*)