diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml
--- a/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Minisubpbl/530-error-Check_Elementwise.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -55,7 +55,7 @@
 "~~~~~ fun nxt_solve_, args:"; val (ptp as (pt, pos as (p, p_))) = (pt, ip);
 val thy' = get_obj g_domID pt (par_pblobj pt p);
 val (srls, is, sc) = from_pblobj_or_detail' thy' (p,p_) pt; (*is: which ctxt?*)
-"~~~~~ fun next_tac, args:"; val (thy, (ptp as (pt, pos as (p, _)):ptree * pos'), (sc as Prog (h $ body)),
+"~~~~~ fun next_tac, args:"; val (thy, (ptp as (pt, pos as (p, _)):ctree * pos'), (sc as Prog (h $ body)),
 (ScrState (E,l,a,v,s,b), ctxt)) = ((thy',srls), (pt,pos), sc, is);
 val ctxt = get_ctxt pt pos
 val SOME t = parseNEW ctxt "Check_elementwise [x = 1] {(v_v::real). Assumptions}";