diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 09:42:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 09:42:31 +0000 |
commit | 6661a9aa8e79dc934bde807293857f2dfc0eca6f (patch) | |
tree | 0f017b30dea95a80aff07f10c803e4494b767702 /src/interp/database.boot | |
parent | 8470ab862150f003472a1bb05605972c34a2005e (diff) | |
download | open-axiom-6661a9aa8e79dc934bde807293857f2dfc0eca6f.tar.gz |
cleanup
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 6d6409d2..144a27e6 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -299,7 +299,7 @@ orderPredTran(oldList,sig,skip) == ((pred is [op,pvar,.] and op in '(isDomain ofCategory) and pvar=first sig and not (pvar in rest sig)) or (not skip and pred is ['isDomain,pvar,.] and pvar="*1")) => - oldList:=delete(pred,oldList) + oldList := remove(oldList,pred) lastPreds:=[pred,:lastPreds] --sayBrightlyNT "lastPreds=" --pp lastPreds @@ -328,7 +328,7 @@ orderPredTran(oldList,sig,skip) == and INTERSECTIONQ(indepvl,lastDependList) => somethingDone := true lastPreds := [:lastPreds,x] - oldList := delete(x,oldList) + oldList := remove(oldList,x) --if somethingDone then -- sayBrightlyNT "Again lastPreds=" -- pp lastPreds |