]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/meta_lex_ind.l
Bug fixed: names of just one character were not inserted into the objectName.
[helm.git] / helm / metadata / extractor / meta_lex_ind.l
index 271bd7db4aa244120c04c30837818f5b5b771ee3..eb915aa665dbef0cf696414957b9909a7ad635fb 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-Z])*
 
  /***************************************************************/
  /* 4. Rules.                                                  */