diff options
Diffstat (limited to 'src/interp/i-analy.boot')
| -rw-r--r-- | src/interp/i-analy.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index e8a4e2ca..9edac053 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -336,8 +336,8 @@ bottomUpCompilePredicate(pred, name) == isUnambiguouslyConstructor(id,t) == niladicConstructorFromDB id => nil k := getConstructorKindFromDB id or - symbolMember?(id,$DomainNames) => "domain" - symbolMember?(id,$CategoryNames) => "category" + builtinFunctorName? id => "domain" + builtinCategoryName? id => "category" k = nil => nil ms := k = "category" => [$CategoryConstructor] |