From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 2 Mar 2004 23:46:42 +0000 (+0000)
Subject: Yet another error in the id regexp: numbers are allowed in identifiers, as well
X-Git-Tag: v0_0_4~47
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=871118b96281306d82ac156491179f3c220aad79;hp=6070c7830a1980abdf87ed5cac607dce170f86f3;p=helm.git

Yet another error in the id regexp: numbers are allowed in identifiers, as well
as 's.
---

diff --git a/helm/metadata/extractor/meta_lex_ind.l b/helm/metadata/extractor/meta_lex_ind.l
index eb915aa66..3d3ad97ce 100644
--- a/helm/metadata/extractor/meta_lex_ind.l
+++ b/helm/metadata/extractor/meta_lex_ind.l
@@ -95,7 +95,7 @@ void search(char *uri, int first_child, int position, int depth);
 uri                     [^"]+
 digits                  [0-9]+ 
 value                   [^"]+                  
-id                      [a-zA-Z]([-_a-zA-Z])*
+id                      [a-zA-Z]([-_'a-zA-Z0-9])*
 
  /***************************************************************/
  /* 4. Rules.							*/