]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex.l
index df0977f6caba90f8db1c620ff77a1f8f437f0a44..eca7c383d6a1a96568d20a31521b3ca7d82b75c5 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);
@@ -267,14 +268,14 @@ main(int argc, char *argv[])
                    FILE *outrel, *outsort;
 
                    init_symbol_table();
-                   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);
                      }
                    // We process the body