From 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 11 Jun 2009 23:00:40 +0000
Subject: 	* algebra/: Don't quote '!' at end of names.

---
 src/algebra/seg.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/seg.spad.pamphlet b/src/algebra/seg.spad.pamphlet
index 911cedb0..6f292840 100644
--- a/src/algebra/seg.spad.pamphlet
+++ b/src/algebra/seg.spad.pamphlet
@@ -161,7 +161,7 @@ Segment(S:Type): SegmentCategory(S) with
             while l >= h repeat
               lr := concat(l, lr)
               l := l + inc
-        reverse_! lr
+        reverse! lr
 
       expand(s : %) == expand([s]$List(%))$%
       map(f : S->S, s : %): List S ==
@@ -177,7 +177,7 @@ Segment(S:Type): SegmentCategory(S) with
           while l >= h repeat
             lr := concat(f l, lr)
             l := l + inc
-        reverse_! lr
+        reverse! lr
 
 @
 
@@ -233,7 +233,7 @@ SegmentFunctions2(R:Type, S:Type): public == private where
          while l >= h repeat
            lr := concat(f(l), lr)
            l := l + inc
-       reverse_! lr
+       reverse! lr
 
 @
 
@@ -437,7 +437,7 @@ UniversalSegment(S: Type): SegmentCategory(S) with
             s  := first ls
             ls := rest ls
             ns := BY(SEGMENT(lo s, hi s), incr s)$Segment(S)
-            lb := concat_!(lb,ns)
+            lb := concat!(lb,ns)
         if not null ls then
             s := first ls
             st: Stream S := generate(#1 + incr(s)::S, lo s)
-- 
cgit v1.2.3