]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/meta_lex_ind.l
ocaml 3.09 transition
[helm.git] / helm / metadata / extractor / meta_lex_ind.l
index 3d3ad97ce1690bddbc6fa6dcded0c1c34777a7a9..9f474bf85c4a68fad7f21c881901a42b2ba17f9f 100644 (file)
@@ -156,7 +156,8 @@ id                      [a-zA-Z]([-_'a-zA-Z0-9])*
                        position = MAINHYP;
                     else if (position == MAINHYP)
                         { position = INHYP;
-                          no_open_source++;};
+                          no_open_source = 1;}
+                    else if (position == INHYP) no_open_source++;
                    }
 
 "</decl>"          |