]> matita.cs.unibo.it Git - helm.git/commitdiff
Yet another error in the id regexp: numbers are allowed in identifiers, as well
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 23:46:42 +0000 (23:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 23:46:42 +0000 (23:46 +0000)
as 's.

helm/metadata/extractor/meta_lex_ind.l

index eb915aa665dbef0cf696414957b9909a7ad635fb..3d3ad97ce1690bddbc6fa6dcded0c1c34777a7a9 100644 (file)
@@ -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.                                                  */