From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Apr 2008 04:23:42 +0000
Subject: Replace `^=' with `~='.

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

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

diff --git a/src/algebra/rule.spad.pamphlet b/src/algebra/rule.spad.pamphlet
index ce3011bc..98e0ee8d 100644
--- a/src/algebra/rule.spad.pamphlet
+++ b/src/algebra/rule.spad.pamphlet
@@ -113,7 +113,7 @@ RewriteRule(Base, R, F): Exports == Implementation where
 -- appear?(x, [p1,...,pn]) is true if x appears as a variable in
 -- a composite pattern pi.
     appear?(x, l) ==
-      for p in l | p ^= x repeat
+      for p in l | p ~= x repeat
         member?(x, variables p) => return true
       false
 
-- 
cgit v1.2.3