From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 26 Feb 2004 13:19:18 +0000 (+0000)
Subject: Bug fixed: names of just one character were not inserted into the objectName.
X-Git-Tag: v0_0_4~74
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3bf2a946765355da176ab16c9497230bdcae1176;p=helm.git

Bug fixed: names of just one character were not inserted into the objectName.
---

diff --git a/helm/metadata/extractor/meta_lex_ind.l b/helm/metadata/extractor/meta_lex_ind.l
index 271bd7db4..eb915aa66 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-Z])*
 
  /***************************************************************/
  /* 4. Rules.							*/