Merge PR #10585: [coqdoc] Simplify regex for identifiers in comments

Reviewed-by: gares
Reviewed-by: vbgl

1 files changed, 1 insertions, 1 deletions

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 }