[haddock @ 2004-02-10 11:51:16 by simonmar]

Don't throw away whitespace at the beginning of a line (experimental fix).

1 files changed, 1 insertions, 1 deletions

diff --git a/src/HaddockLex.x b/src/HaddockLex.x
index b4030700..dbd3dc21 100644
--- a/src/HaddockLex.x
+++ b/src/HaddockLex.x
@@ -39,7 +39,7 @@ $ident    = [$alphanum \_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~]
 <line> {
   $ws* \>		{ begin birdtrack }
   $ws* \n		{ token TokPara `andBegin` para }
-  $ws* 			{ begin string }
+  () 			{ begin string }
 }
 
 <birdtrack> .*	\n?	{ strtoken TokBirdTrack `andBegin` line }