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/define.boot | |
parent | 8470ab862150f003472a1bb05605972c34a2005e (diff) | |
download | open-axiom-6661a9aa8e79dc934bde807293857f2dfc0eca6f.tar.gz |
cleanup
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 0d5ea4c9..9d2e41bf 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1222,7 +1222,7 @@ compDefWhereClause(['DEF,form,signature,specialCases,body],m,e) == [[x,:dependencies] for [x,:y] in argSigAlist] where dependencies() == union(listOfIdentifiersIn y, - delete(x,listOfIdentifiersIn LASSOC(x,$predAlist))) + remove(listOfIdentifiersIn LASSOC(x,$predAlist),x)) argSigAlist := [:$sigAlist,:pairList(argList,sigList)] -- 4. construct a WhereList which declares and/or defines the xi's in |