1.1 --- a/test/Tools/isac/Minisubpbl/150-add-given.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/150-add-given.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  (*for resuming after stepping into code*)
     1.5  val (p''',f''',nxt''',pt''') = (p,f,nxt,pt);
     1.6  
     1.7 -"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), (_:NEW), (pt:ptree)) = (nxt, p, [], pt);
     1.8 +"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), (_:NEW), (pt:ctree)) = (nxt, p, [], pt);
     1.9      val (pt, p) = 
    1.10  	    case locatetac tac (pt,p) of
    1.11  		    ("ok", (_, _, ptp)) => ptp;