From f4e7edcbc2fc5742ebbc8823f5429508cc975e37 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 10 Feb 2004 11:51:16 +0000
Subject: [haddock @ 2004-02-10 11:51:16 by simonmar] Don't throw away
 whitespace at the beginning of a line (experimental fix).

---
 src/HaddockLex.x | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 }
-- 
cgit v1.2.3