1.1 --- a/test/Tools/isac/Knowledge/rateq.sml	Thu Dec 19 12:40:17 2019 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rateq.sml	Thu Dec 19 16:41:57 2019 +0100
     1.3 @@ -92,7 +92,7 @@
     1.4  val (p''',_,f,nxt''',_,pt''') = me nxt p [1] pt;
     1.5  f2str f = "[x = 1 / 5]";
     1.6  case nxt of ("Check_elementwise", Check_elementwise "Assumptions") => () | _ => ((*not checked before*));
     1.7 -"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt);
     1.8 +"~~~~~ fun me, args:"; val (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 | _ => error "--- solve (1/x = 5.. locatetac";
    1.11  "~~~~~ fun step, args:"; val (ip as (_,p_), (ptp as (pt,p), tacis)) = (p, ((pt, e_pos'), []))
    1.12 @@ -276,7 +276,7 @@
    1.13  test --- 'trace_script' from outside 'fun me '---
    1.14  *)
    1.15  val (pt''', p''') = (pt, p);
    1.16 -"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt);
    1.17 +"~~~~~ fun me, args:"; val (tac, (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt);
    1.18      val (pt, p) = case locatetac tac (pt,p) of
    1.19  		      ("ok", (_, _, ptp)) => ptp  | _ => error "error in test setup";
    1.20  "~~~~~ step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) =