1.1 --- a/test/Tools/isac/Knowledge/rootrateq.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rootrateq.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -91,7 +91,7 @@
     1.4  term2str t = "1 = 2 + -2 * sqrt x";
     1.5  (*... which works; thus error must be in script interpretation*)
     1.6  
     1.7 -"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ptree)) = (nxt, p, c, pt);
     1.8 +"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt);
     1.9  val (pt, p) = case locatetac tac (pt,p) of
    1.10  	("ok", (_, _, ptp))  => ptp;
    1.11  "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))