diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 16:23:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 16:23:37 +0000 |
commit | 6c36217f8a6721a3695e6c8d0b5f86401b5ed18b (patch) | |
tree | 8c2aa73f3e0dbb7aab710621e72707cf27d74c36 /src/interp/cattable.boot | |
parent | e694e02b3c8e9ae322df7440a29c3011a11503e7 (diff) | |
download | open-axiom-6c36217f8a6721a3695e6c8d0b5f86401b5ed18b.tar.gz |
more cleanups
Diffstat (limited to 'src/interp/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 5f546ebe..ca0272e1 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -33,7 +33,7 @@ import simpbool -import g_-util +import c_-util namespace BOOT module cattable where hasCat: (%Instantiation,%Instantiation) -> %Code @@ -280,7 +280,7 @@ isFormalArgumentList argl == mkCategoryExtensionAlist cform == not cons? cform => nil cop := first cform - symbolMember?(cop, $CategoryNames) => mkCategoryExtensionAlistBasic cform + builtinCategoryName? cop => mkCategoryExtensionAlistBasic cform catlist := formalSubstitute(cform, first getConstructorExports(cform, true)) extendsList:= nil for [cat,:pred] in catlist repeat |