diff options
author | dos-reis <gdr@axiomatics.org> | 2012-01-13 02:03:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-01-13 02:03:31 +0000 |
commit | 7d98b7fa7d816f132fb09bf439333f4145c603f8 (patch) | |
tree | 8575dd6cb449b3ed52b68d7aa763216bfdce0c79 /src/interp/define.boot | |
parent | 4ebf86fc014d407548be8af728191fe02401bf1a (diff) | |
download | open-axiom-7d98b7fa7d816f132fb09bf439333f4145c603f8.tar.gz |
* interp/category.boot: Rename AncestorP to ancestor?.
Rename DescendantP to descendant?.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
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 5ef8e842..66d8c458 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -210,7 +210,7 @@ knownInfo(pred,env) == -- previous line checks fundamental anscestors, we should check their -- principal anscestors but this requires instantiating categories - or/[AncestorP(cat,[first u],env) + or/[ancestor?(cat,[first u],env) for u in categoryAncestors vv | knownInfo(second u,env)] => true false pred is ["SIGNATURE",name,op,sig,:.] => |