From e546308ba905ffb34a8adea792d10fb3242430a8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 17 May 2013 02:36:40 +0000
Subject: 	* algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)
 	[tableForDiscreteLogarithm]:  Don't use pretend where checked 
 coercion is intended. 	* algebra/pf.spad.pamphlet (InnerPrimeField) 
 [tableForDiscreteLogarithm]:  Likewise.

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

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

diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet
index 6ab0f69f..ae100e02 100644
--- a/src/algebra/pf.spad.pamphlet
+++ b/src/algebra/pf.spad.pamphlet
@@ -120,7 +120,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where
       tbl case "failed" =>
         error "tableForDiscreteLogarithm: argument must be prime divisor_
  of the order of the multiplicative group"
-      tbl pretend TBL
+      tbl :: TBL
 
     primitiveElement() ==
       if initelt? then initializeElt()
-- 
cgit v1.2.3