From 7fb6c1dba9a3cc1285344262d73f6ce11ee96a9e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 17 Mar 2004 13:39:23 +0000
Subject: [PATCH] Bug fixed for theorems whose statement are like

((A -> B) -> C) -> D
---
 helm/metadata/extractor/meta_lex.l     | 3 ++-
 helm/metadata/extractor/meta_lex_ind.l | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

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>"          |
diff --git a/helm/metadata/extractor/meta_lex_ind.l b/helm/metadata/extractor/meta_lex_ind.l
index 3d3ad97ce..9f474bf85 100644
--- a/helm/metadata/extractor/meta_lex_ind.l
+++ b/helm/metadata/extractor/meta_lex_ind.l
@@ -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>"          |
-- 
2.39.2