X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fextractor%2Fmeta_lex_ind.l;h=9f474bf85c4a68fad7f21c881901a42b2ba17f9f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=271bd7db4aa244120c04c30837818f5b5b771ee3;hpb=ba1f274e210f575dc5cd94500611f6bd5ad67186;p=helm.git

diff --git a/helm/metadata/extractor/meta_lex_ind.l b/helm/metadata/extractor/meta_lex_ind.l
index 271bd7db4..9f474bf85 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.							*/
@@ -156,7 +156,8 @@ id                      [a-zA-Z]([-_a-zA-Z])+
                        position = MAINHYP;
                     else if (position == MAINHYP)
                         { position = INHYP;
-                          no_open_source++;};
+                          no_open_source = 1;}
+                    else if (position == INHYP) no_open_source++;
                    }
 
 "</decl>"          |