From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 tools/coqdoc/pretty.mll | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'tools/coqdoc/pretty.mll')

diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll
index ad9057ad..5c6c7952 100644
--- a/tools/coqdoc/pretty.mll
+++ b/tools/coqdoc/pretty.mll
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: pretty.mll 8666 2006-03-27 17:02:49Z notin $ i*)
+(*i $Id: pretty.mll 8861 2006-05-24 15:52:15Z notin $ i*)
 
 (*s Utility functions for the scanners *)
 
@@ -173,8 +173,11 @@ let firstchar =
   (* utf-8 letterlike symbols *) 
   '\226' ('\132' ['\128'-'\191'] | '\133' ['\128'-'\143'])
 let identchar = 
-  firstchar | ['\'' '0'-'9' '@']
-let identifier = firstchar identchar*
+  firstchar | ['\'' '0'-'9' '@' ]
+let id = firstchar identchar*
+let pfx_id = (id '.')*
+let identifier = 
+  id | pfx_id id
 
 let symbolchar_no_brackets =
   ['!' '$' '%' '&' '*' '+' ',' '@' '^' '#'
-- 
cgit v1.2.3