diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-29 11:46:24 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-29 11:46:24 -0800 |
| commit | cfb8e7754f4aacfb6e67a3973b856f025fff0d11 (patch) | |
| tree | 0a82de333648a1f6e5638056e0823038d1d7b11b /src/interp/category.boot | |
| parent | 0cb4834d923450c2324232954505b52f9e7053f0 (diff) | |
| download | open-axiom-cfb8e7754f4aacfb6e67a3973b856f025fff0d11.tar.gz | |
Introduce '' for the slot number of the add-chain domain.
Diffstat (limited to 'src/interp/category.boot')
| -rw-r--r-- | src/interp/category.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index cdfc9958..c5d4fbfe 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -116,7 +116,7 @@ mkCategory(domainOrPackage,sigList,attList,domList,principal) == categoryAttributes(v) := attList categoryRef(v,3) := $Category if principal ~= nil then - for x in 6..#principal-1 repeat + for x in $NRTbase..#principal-1 repeat categoryRef(v,x) := categoryRef(principal,x) categoryAssociatedTypes(v) := [categoryPrincipals principal, |