1.1 --- a/test/Tools/isac/Knowledge/rateq.sml	Thu Oct 17 13:17:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rateq.sml	Fri Oct 18 16:18:14 2019 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4  val up = drop_last l;
     1.5  val (Const ("HOL.Let",_) $ e $ (Abs (i,T,body))) = go up sc; (*Const ("Prog_Tac.SubProblem",..*)
     1.6  val i = mk_Free (i, T);
     1.7 -val E = upd_env E (i, v);
     1.8 +val E = Env.upd_env E (i, v);
     1.9  "~~~~~ fun appy, args:"; val ((thy as (th,sr)), (pt, p), E, l, t, a, v) =
    1.10    (thy, ptp, E, (up@[R,D]), body, a, v);
    1.11  "~~~~~ fun handle_leaf, args:"; val (call, thy, srls, E, a, v, t) = ("next ", th, sr, E, a, v, t);