diff options
Diffstat (limited to 'src/interp/c-util.boot')
| -rw-r--r-- | src/interp/c-util.boot | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 569e25d8..3f7dd18a 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -232,10 +232,6 @@ macro dbSubstituteQueries(db,x) == dbSubstituteAllQuantified(db,x) == applySubst([:dbQuerySubst db,:dbFormalSubst db],x) -++ This predicate holds if this DB is for a category constructor. -dbForCategory? db == - db ~= nil and dbConstructorKind db is 'category - --% $SetCategory == '(SetCategory) |