diff options
author | dos-reis <gdr@axiomatics.org> | 2013-07-01 06:01:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-07-01 06:01:56 +0000 |
commit | 859275a5967e87643c948a8ae340529444b843b1 (patch) | |
tree | af173369b179706c9b6ab8fc76d7bcbe1bf00934 /src/interp/cattable.boot | |
parent | 6c7342e9fe62ef8588307be33b2ad9543e4a071c (diff) | |
download | open-axiom-859275a5967e87643c948a8ae340529444b843b1.tar.gz |
Bring closer to GCL-buildability.
Diffstat (limited to 'src/interp/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 7cb1dc0d..21e61c26 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -381,7 +381,7 @@ categoryParts(conform,category,:options) == main where if addCtor? then res := [listSort(function GLESSEQP,$conslist),:res] if getConstructorKindFromDB conname is "category" then - tvl := take(#rest conform,$TriangleVariableList) + tvl := tvarList #rest conform res := applySubst(pairList(tvl,$FormalMapVariableList),res) res build(item,pred) == |