1.1 --- a/test/Tools/isac/Knowledge/polyeq-1.sml Wed Nov 13 12:06:40 2019 +0100
1.2 +++ b/test/Tools/isac/Knowledge/polyeq-1.sml Wed Nov 13 15:27:17 2019 +0100
1.3 @@ -228,7 +228,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 = Env.upd_env E (i, v);
1.8 + val E = Env.update 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)];