diff options
Diffstat (limited to 'ocamldoc/odoc_lexer.mll')
| -rw-r--r-- | ocamldoc/odoc_lexer.mll | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ocamldoc/odoc_lexer.mll b/ocamldoc/odoc_lexer.mll index bb86f59f3..998d31bd1 100644 --- a/ocamldoc/odoc_lexer.mll +++ b/ocamldoc/odoc_lexer.mll @@ -293,6 +293,10 @@ and elements = parse incr Odoc_comments_global.nb_chars; print_DEBUG2 "newline"; elements lexbuf } + | "@" + { + raise (Failure (Odoc_messages.should_escape_at_sign)) + } | "@"lowercase+ { |