aboutsummaryrefslogtreecommitdiff
path: root/src/interp/c-util.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r--src/interp/c-util.boot6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index df690293..c1a7b4f3 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -481,11 +481,11 @@ getInverseEnvironment(a,e) ==
--the next two lines are necessary to get 3-branched Unions to work
-- old-style unions, that is
(get(x,"condition",e) is [["OR",:oldpred]]) and listMember?(a,oldpred) =>
- put(x,"condition",[MKPF(delete(a,oldpred),"OR")],e)
+ put(x,"condition",[MKPF(remove(oldpred,a),"OR")],e)
unionProperty(x,e) is ['UnionCategory,:l] =>
- l':= delete(m,l)
+ l' := remove(l,m)
for u in l' repeat
- if u is ['_:,=m,:.] then l':= delete(u,l')
+ if u is ['_:,=m,:.] then l' := remove(l',u)
newpred:= MKPF([["case",x,m'] for m' in l'],"OR")
put(x,"condition",[newpred,:get(x,"condition",e)],e)
e