diff options
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,:.] => |