From 3db04ca820734799933930feca1550430d77c90d Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 25 Feb 2008 18:03:27 +0000
Subject: 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
---
 tools/coqdoc/pretty.mll | 4 +---
 1 file changed, 1 insertion(+), 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 
       { () }
   | _
-- 
cgit v1.2.3