diff options
| -rw-r--r-- | tools/coqdoc/pretty.mll | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll index 9a6bcd5681..1735f5a07e 100644 --- a/tools/coqdoc/pretty.mll +++ b/tools/coqdoc/pretty.mll @@ -395,9 +395,7 @@ rule coq_bol = parse coq_bol lexbuf } | space* "(*" { let eol = comment lexbuf in - if eol - then begin line_break(); coq_bol lexbuf end - else coq lexbuf } + if eol then coq_bol lexbuf else coq lexbuf } | eof { () } | _ |