X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Flex.yy_ind.c;fp=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Flex.yy_ind.c;h=9e37b0b356bbfa583f657a45cd5b69ab3303be2e;hb=d510ba6f2339538b6b573842f4ec6e79f7f02df3;hp=b661e22d398263b7b687a5bcf92eb0c88ae24d41;hpb=3636c82288ec11c3d411c11a446ab9e9693e623f;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
index b661e22d3..9e37b0b35 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
@@ -1970,14 +1970,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);
                      }