]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
Bug fixed: refSort were exported (as refObj) also when occurring InHypothesis
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex.l
index df0977f6caba90f8db1c620ff77a1f8f437f0a44..94806717e3bb335664921afab1dc667424984bb2 100644 (file)
@@ -159,7 +159,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);