]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
Bug fixed: refSort were exported (as refObj) also when occurring InHypothesis
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex_ind.l
index a7a62666f64219d6ea4ea293935f50645e2682e2..eac2f771cea7b816711f71c4d279904980c94f45 100644 (file)
@@ -208,7 +208,8 @@ value                   [^"]+
                    }
 
 "<SORT"(" "|\n)+"value=\""{value}   {         
-                    if ((position == INTYPE) | (position == MAINHYP))
+                    if (((position == INTYPE) | (position == MAINHYP)) &&
+                       (first_child == HERE))
                      {
                        tmp=(char *)malloc((sizeof('a')*200)); 
                        strcpy(tmp,yytext);