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 }