From e140848fd50a49aab7810eb369c9e14efe20f2d6 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 24 Jul 2020 11:29:36 +0200
Subject: Fix coqdoc bad bulleting from incorrect space count

Fix #12742
---
 tools/coqdoc/cpretty.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index aa3c5b9d3b..b801a3b06e 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -728,7 +728,7 @@ and doc_bol = parse
           else
             Output.section lev (fun () -> ignore (doc None (from_string s)));
 	    if eol then doc_bol lexbuf else doc None lexbuf }
-  | (space_nl* as s) ('-'+ as line)
+  | ((space_nl* nl)? as s) (space* '-'+ as line)
       { let nl_count = count_newlines s in
         match check_start_list line with
           | Neither -> backtrack_past_newline lexbuf; Lexing.new_line lexbuf; doc None lexbuf
-- 
cgit v1.2.3