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 0ddfd5b6..a3c893d1 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -233,7 +233,7 @@ knownInfo(pred,env,tbl == makeTable function valueEq?) == -- previous line checks fundamental anscestors, we should check their -- principal anscestors but this requires instantiating categories - or/[ancestor?(cat,[first u],env) + or/[ancestor?(cat,[first u],tbl,env) for u in categoryAncestors vv | knownInfo(second u,env,tbl)] => tableValue(tbl,pred) := true false |