]> matita.cs.unibo.it Git - helm.git/commitdiff
*.rdf ==> *.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 14:37:36 +0000 (14:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Nov 2002 14:37:36 +0000 (14:37 +0000)
helm/metadata/create_V7_mowgli/METADATA/lex.yy.c
helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c
helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
helm/metadata/create_V7_mowgli/METADATA/meta_lex_ind.l

index d86e087500fe5f9ff7d3fda43b77508591bff7dd..4cf9fb0855ecdb6c5acd3cc5688d5173726205d3 100644 (file)
@@ -1896,14 +1896,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
index b661e22d398263b7b687a5bcf92eb0c88ae24d41..9e37b0b356bbfa583f657a45cd5b69ab3303be2e 100644 (file)
@@ -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);
                      }
                  
index 94806717e3bb335664921afab1dc667424984bb2..eca7c383d6a1a96568d20a31521b3ca7d82b75c5 100644 (file)
@@ -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
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);
                      }