X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fmeta_lex.l;h=eca7c383d6a1a96568d20a31521b3ca7d82b75c5;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=94806717e3bb335664921afab1dc667424984bb2;hpb=e8af4799c2e315b6c86fab4548c29668f97c8e3b;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l b/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
index 94806717e..eca7c383d 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
+++ b/helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
@@ -268,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