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

diff --git a/helm/metadata/extractor/meta_lex.l b/helm/metadata/extractor/meta_lex.l
index a8621ea38..c4c23e847 100644
--- a/helm/metadata/extractor/meta_lex.l
+++ b/helm/metadata/extractor/meta_lex.l
@@ -115,7 +115,8 @@ value                   [^"]+
                        position = MAINHYP;
                     else if (position == MAINHYP)
                         { position = INHYP;
-                          no_open_source++;};
+                          no_open_source = 1;}
+                    else if (position == INHYP) no_open_source++;
                    }
 
 "</decl>"          |