diff options
Diffstat (limited to 'src/interp/i-resolv.boot')
| -rw-r--r-- | src/interp/i-resolv.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index ec359b1c..037b83c7 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -426,7 +426,7 @@ getConditionalCategoryOfType1(cat,conditions,match,seen) == RPLACD(conditions,CONS(cat,CDR conditions)) conditions conditions - cat is [catName,:.] and (GETDATABASE(catName,'CONSTRUCTORKIND) = 'category) => + cat is [catName,:.] and (getConstructorKindFromDB catName = "category") => cat in CDR seen => conditions RPLACD(seen,[cat,:CDR seen]) subCat := GETDATABASE(catName,'CONSTRUCTORCATEGORY) |