From e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 30 Aug 2008 04:07:42 +0000
Subject: More explicit import

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

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

diff --git a/src/algebra/wtpol.spad.pamphlet b/src/algebra/wtpol.spad.pamphlet
index 7f64a69f..d4b28f47 100644
--- a/src/algebra/wtpol.spad.pamphlet
+++ b/src/algebra/wtpol.spad.pamphlet
@@ -58,7 +58,7 @@ WeightedPolynomials(R:Ring,VarSet: OrderedSet, E:OrderedAbelianMonoidSup,
    if #vl ~= #wl then error "incompatible length lists in WeightedPolynomial"
    lookupList:=[[v,n] for v in vl for n in wl]
    -- local operation
-   innercoerce:(p,z) -> $
+   innercoerce: (P,Integer) -> $
    lookup:VarSet -> NonNegativeInteger
    lookup v ==
       l:=lookupList
-- 
cgit v1.2.3