diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-02 02:49:19 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-02 02:49:19 -0800 |
commit | 785eee916bd22a098f04f12780d0415b44f52af6 (patch) | |
tree | 0b0610428ed2029120553f67eb08a8e9deada7cd /src/interp/c-util.boot | |
parent | 45c66ff4a930d68142472091c3ccc36c755b1f6e (diff) | |
download | open-axiom-785eee916bd22a098f04f12780d0415b44f52af6.tar.gz |
Rename dbConstructorDefault to dbDefaultPackage
And various cleanups.
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) |