From 9cffbc301daffb6f6563ddc12d9bd928239b60b2 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 14 Oct 2008 03:30:31 +0000
Subject: 	Fix AW/338 	* algebra/fspace.spad.pamphlet
 (smprep$FunctionSpace): Fix thinko

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

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

diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index b7e0fcc5..1d46ffca 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -634,7 +634,7 @@ FunctionSpace(R:OrderedSet): Category == Definition where
       -- op(arg)**m ==> func(arg)**(m quo n) * op(arg)**(m rem n)
       smprep(lop, lexp, lfunc, p) ==
         (v := mainVariable p) case "failed" => p::%
-        symbolIfCan(k := v::K) case SY => p::%
+        k := v::K
         g := (op := operator k)
            (arg := [eval(a,lop,lexp,lfunc) for a in argument k]$List(%))
         q := map(eval(#1::%, lop, lexp, lfunc),
-- 
cgit v1.2.3