X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fmeta_lex_ind.l;h=acf86244658752e9388088e775fb963d18ee5e7e;hb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;hp=a7a62666f64219d6ea4ea293935f50645e2682e2;hpb=cb9f345924b8595b2e4922326ff335af133e46ce;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l b/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
index a7a62666f..acf862446 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
+++ b/helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
@@ -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);
@@ -331,14 +332,14 @@ print_file()
 		      fprintf(stderr, "error in openinf file %s\n", filename);
                       exit(-1);
                      } 
-                   if (!(outrel = fopen("forward_rel.rdf","a"))) 
+                   if (!(outrel = fopen("forward_rel.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in openinf file forward_rel.xml\n");
                       exit(-1);
                      }
-                   if (!(outsort = fopen("forward_sort.rdf","a"))) 
+                   if (!(outsort = fopen("forward_sort.xml","a"))) 
                      {
-		      fprintf(stderr, "error in openinf file forward_rel.rdf\n");
+		      fprintf(stderr, "error in openinf file forward_rel.xml\n");
                       exit(-1);
                      }