diff options
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index 16fc9084..85fa6886 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -369,7 +369,7 @@ putDomainsInScope(x,e) == l:= getDomainsInScope e if $verbose and listMember?(x,l) then sayBrightly ['" Note: Domain ",x," already in scope"] - newValue:= [x,:delete(x,l)] + newValue := [x,:remove(l,x)] $insideCapsuleFunctionIfTrue => ($CapsuleDomainsInScope:= newValue; e) put("$DomainsInScope","special",newValue,e) @@ -473,7 +473,7 @@ chaseInferences(pred,$e) == for [ante,:conseq] in l repeat ante=pred => [foo w for w in conseq] ante is ["and",:ante'] and listMember?(pred,ante') => - ante':= delete(pred,ante') + ante':= remove(ante',pred) v':= # ante'=1 => first ante' ["and",:ante'] |