From bf0dc577a8139d6d16ba9c71211972d56a0483a2 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 28 Aug 2007 17:04:18 +0000
Subject: [PATCH] Rain: changed the comment character for now

---
 LexRain.x | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/LexRain.x b/LexRain.x
index 3d2da82..b463033 100644
--- a/LexRain.x
+++ b/LexRain.x
@@ -66,7 +66,7 @@ occam :-
 
 -- Ignore whitespace and comments.
 $white+            ;
-"#" [^\n]*         ;
+"###" [^\n]*       ;
 
 @reserved          { mkToken TokReserved }
 @identifier        { mkToken TokIdentifier }