From 75562692f6375a5ce067997d494a3238eb77f6d5 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 2 Jul 2013 02:36:13 +0000 Subject: Rever sharp var list changes. --- src/interp/cattable.boot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/interp/cattable.boot') diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 21e61c26..7cb1dc0d 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 := tvarList #rest conform + tvl := take(#rest conform,$TriangleVariableList) res := applySubst(pairList(tvl,$FormalMapVariableList),res) res build(item,pred) == -- cgit v1.2.3