From 9a70016f6c0ae22283f1c141e5daeb3369f3ddfd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 4 Feb 2009 15:56:05 +0000
Subject: 	* algebra/Makefile.pamphlet: Tidy.

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

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

diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index b4ecb100..836e57dd 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -318,7 +318,7 @@ Reference(S:Type): Type with
 
         if S has SetCategory then
           coerce p ==
-            prefix(message("ref"@String), [p.value::OutputForm])
+            prefix('ref::OutputForm, [p.value::OutputForm])
 
 @
 
-- 
cgit v1.2.3