aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Haddock/Lex.x1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Haddock/Lex.x b/src/Haddock/Lex.x
index 766f12ed..f2fdd377 100644
--- a/src/Haddock/Lex.x
+++ b/src/Haddock/Lex.x
@@ -52,6 +52,7 @@ $ident = [$alphanum \'\_\.\!\#\$\%\&\*\+\/\<\=\>\?\@\\\\\^\|\-\~\:]
$ws* [\*\-] { token TokBullet `andBegin` string }
$ws* \[ { token TokDefStart `andBegin` def }
$ws* \( $digit+ \) { token TokNumber `andBegin` string }
+ $ws* $digit+ \. { token TokNumber `andBegin` string }
$ws* { begin string }
}