From 4c4fccc1a2db9e74b04a8b6193b4ea819be2ea81 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 1 Apr 2009 17:07:37 +0000
Subject: [PATCH] Corrected the lexer (no vertical space after pragmas with the
 new way of doing them)

---
 frontends/LexOccam.x | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/LexOccam.x b/frontends/LexOccam.x
index b9b7d89..6ef4556 100644
--- a/frontends/LexOccam.x
+++ b/frontends/LexOccam.x
@@ -110,7 +110,7 @@ occam :-
 <five>        "SHARED" { mkToken Pragma two }
 <five>        "PERMITALIASES" { mkToken Pragma two }
 <five>        "EXTERNAL" $horizSpace* \" { mkToken Pragma four }
-<four>        \" $horizSpace* $vertSpace+ { mkState 0 }
+<four>        \" $horizSpace* { mkState 0 }
 
 <one>         @preprocessor  { mkToken TokPreprocessor 0 }
 <one, two>    "--" [^\n]*    { mkState 0 }