From c00e1184f361c506bb69f659711a0f251cc35471 Mon Sep 17 00:00:00 2001
From: Lysxia
Date: Sat, 27 Jul 2019 00:15:55 -0400
Subject: [coqdoc] Simplify regex for identifiers in comments

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

diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 0685f979c8..a44ddf7467 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -940,7 +940,7 @@ and escaped_coq = parse
       { (* likely to be a syntax error: we escape *) backtrack lexbuf }
   | eof
       { Tokens.flush_sublexer () }
-  | (identifier '.')* identifier
+  | identifier
       { Tokens.flush_sublexer();
         Output.ident (lexeme lexbuf) None;
         escaped_coq lexbuf }
-- 
cgit v1.2.3