diff options
| author | notin | 2008-02-25 18:03:27 +0000 |
|---|---|---|
| committer | notin | 2008-02-25 18:03:27 +0000 |
| commit | 3db04ca820734799933930feca1550430d77c90d (patch) | |
| tree | 93f2f74edf475f25117872d1aa7c60e8d4f34b8e | |
| parent | 86247a9360e2b87442d59e883aa9fd39796682f1 (diff) | |
Bug de coqdoc : les commentaires simples généraient des lignes vides
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10584 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 { () } | _ |