From 1734e62de427defcd090a95bc8b3b879c67d3fbf Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 14 Aug 2011 00:07:49 +0000
Subject: Remove redundant capsule-level declarations

---
 src/algebra/polycat.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/polycat.spad.pamphlet')

diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet
index d3107611..13e15053 100644
--- a/src/algebra/polycat.spad.pamphlet
+++ b/src/algebra/polycat.spad.pamphlet
@@ -138,7 +138,7 @@ FiniteAbelianMonoidRing(R:Ring, E:OrderedAbelianMonoid): Category ==
     if R has CommutativeRing then 
        binomThmExpt(x,y,nn) ==
                nn = 0 => 1$%
-               ans,xn,yn: %
+               ans,yn: %
                bincoef: Integer
                powl: List(%):= [x]
                for i in 2..nn repeat powl:=[x * powl.first, :powl]
-- 
cgit v1.2.3