diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Minisubpbl/300-init-subpbl.sml
--- a/test/Tools/isac/Minisubpbl/300-init-subpbl.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Minisubpbl/300-init-subpbl.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -35,7 +35,7 @@
 	      val (srls, is, sc) = from_pblobj_or_detail' thy' (p,p_) pt;
 		      val d = e_rls; (*FIXME.WN0108: canon.simplifier for domain is missing: generate from domID?*)
 (*val Steps (is', ss as (m',f',pt',p',c')::_) = locate_gen (thy',srls) m  (pt,(p,p_)) (sc,d) is;*)
-"~~~~~ fun locate_gen, args:"; val ((ts as (thy',srls)), (m:tac_), ((pt,p):ptree * pos'), 
+"~~~~~ fun locate_gen, args:"; val ((ts as (thy',srls)), (m:tac_), ((pt,p):ctree * pos'), 
 	                   (scr as Prog (h $ body),d), (ScrState (E,l,a,v,S,b), ctxt)) =
                    ((thy',srls), m,  (pt,(p,p_)), (sc,d), is);
 val thy = assoc_thy thy';