From 761c8889e9cc0d4e73f32f06290fe7d07d75d551 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 27 Oct 2008 02:31:37 +0000
Subject: 	* configure.ac.pamphlet: Look for path to `awk'. 
 Instantiate src/hyper/presea.

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

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

diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index be0fc84b..a649c1f5 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -373,6 +373,7 @@ import CoercibleTo Syntax
 AbstractSyntaxCategory(): Category == 
     Join(SetCategory, CoercibleTo Syntax) with
       coerce: Syntax -> %
+        ++ coerce(s) parses syntax object `s' as a Spad construct.
   add
     coerce(x: %): Syntax ==
       x pretend Syntax
-- 
cgit v1.2.3