From b3a46c91b4848693476332bcd32350926396783d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 14 May 2013 15:51:47 +0000
Subject: 	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):
 Test 	for BasicType satisfaction instead of existence of =.

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

(limited to 'src/algebra')

diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet
index 9be6ee45..51cc1d24 100644
--- a/src/algebra/array2.spad.pamphlet
+++ b/src/algebra/array2.spad.pamphlet
@@ -159,7 +159,7 @@ TwoDimensionalArrayCategory(R,Row,Col): Category == Definition where
           qsetelt!(m,i,j,v.k)
       m
 
-    if R has _= : (R,R) -> Boolean then
+    if R has BasicType then
 
       m = n ==
         eq?(m,n) => true
-- 
cgit v1.2.3