1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml	Thu Oct 17 13:17:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml	Fri Oct 18 16:18:14 2019 +0200
     1.3 @@ -230,7 +230,7 @@
     1.4        val l = drop_last l; (*comes from e, goes to Abs*)
     1.5        val (Const ("HOL.Let",_) $ e $ (Abs (i,T,body))) = go l sc;
     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  (*Type error ...: Can't unify _a to pos * pos_ (Incompatible types)*)
    1.10  val [(tac_, mout, ctree, pos', xxx)] = ss;
    1.11  val ss = [(tac_, mout, ctree, pos', []:(pos * pos_) list)];