diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/interp/i-funsel.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/interp/i-funsel.boot')
-rw-r--r-- | src/interp/i-funsel.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot index 1dd0d74a..d5cbcb91 100644 --- a/src/interp/i-funsel.boot +++ b/src/interp/i-funsel.boot @@ -1692,7 +1692,7 @@ ofCategory(dom,cat) == -- the result is true or nil $Subst:local:= nil $hope:local := nil - IDENTP dom => nil + ident? dom => nil cat is ['Join,:cats] => and/[ofCategory(dom,c) for c in cats] (hasCaty(dom,cat,nil) isnt 'failed) |