]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex_ind.l
index eac2f771cea7b816711f71c4d279904980c94f45..acf86244658752e9388088e775fb963d18ee5e7e 100644 (file)
@@ -332,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);
                      }