From: Andrea Asperti Date: Wed, 20 Nov 2002 10:52:24 +0000 (+0000) Subject: Minor bug fixes: X-Git-Tag: V_0_0_5~30 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9261580b5e489f52d7e67bbcc918a564e0848035;p=helm.git Minor bug fixes: - forward_{rel|sort}.rdf ==> forward_{rel|sort}.xml - forward_{rel|sort}.xml were not valid XML documents --- diff --git a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c index a2f806d52..3f5797628 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c +++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy.c @@ -1895,14 +1895,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 opening 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 opening file forward_sort.xml\n"); exit(-1); } // We process the body 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 c233e427a..acf8e8ab8 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c +++ b/helm/metadata/create_V7_mowgli/METADATA/lex.yy_ind.c @@ -1969,14 +1969,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 opening 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 opening file forward_sort.xml\n"); exit(-1); } diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c index 916d3f13d..15b83fa7e 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c +++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c @@ -269,7 +269,7 @@ print_mainhyp(about,outrel,outsort,uri,l) { fprintf(outsort,"\t\t"); fprintf(outsort,"\n\t\t\t\t"); - fprintf(outsort,"\n\t\t\t\t",uri); + fprintf(outsort,"\n\t\t\t\t",uri); fprintf(outsort,"\n\t\t\t\t%d",curr->val); fprintf(outsort,"\n\t\t\n"); curr = curr->next; @@ -307,7 +307,7 @@ print_mainconcl(about,outrel,outsort,uri,depth) fprintf(outrel,"\t\t"); fprintf(outrel,"\n\t\t\t\t"); fprintf(outrel,"\n\t\t\t\t%d",depth); - fprintf(outrel,"\n\t\t\n"); + fprintf(outrel,"\n\t\t\n"); fprintf(outrel,"\t\n"); } else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) || @@ -318,7 +318,7 @@ print_mainconcl(about,outrel,outsort,uri,depth) fprintf(outsort,"\">\n"); fprintf(outsort,"\t\t"); fprintf(outsort,"\n\t\t\t\t"); - fprintf(outsort,"\n\t\t\t\t%s",uri); + fprintf(outsort,"\n\t\t\t\t",uri); fprintf(outsort,"\n\t\t\t\t%d",depth); fprintf(outsort,"\n\t\t\n"); fprintf(outsort,"\t\n"); diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c index d49863f5b..3f391a79e 100644 --- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c +++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c @@ -270,7 +270,7 @@ print_mainhyp(about,out,outrel,outsort,uri,l) { fprintf(outsort,"\t\t"); fprintf(outsort,"\n\t\t\t\t"); - fprintf(outsort,"\n\t\t\t\t",uri); + fprintf(outsort,"\n\t\t\t\t",uri); fprintf(outsort,"\n\t\t\t\t%d",curr->val); fprintf(outsort,"\n\t\t\n"); curr = curr->next; @@ -309,7 +309,7 @@ print_mainconcl(about,out,outrel,outsort,uri,depth) fprintf(outrel,"\t\t"); fprintf(outrel,"\n\t\t\t\t"); fprintf(outrel,"\n\t\t\t\t%d",depth); - fprintf(outrel,"\n\t\t\n"); + fprintf(outrel,"\n\t\t\n"); fprintf(outrel,"\t\n"); } else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) || @@ -320,7 +320,7 @@ print_mainconcl(about,out,outrel,outsort,uri,depth) fprintf(outsort,"\">\n"); fprintf(outsort,"\t\t"); fprintf(outsort,"\n\t\t\t\t"); - fprintf(outsort,"\n\t\t\t\t%s",uri); + fprintf(outsort,"\n\t\t\t\t",uri); fprintf(outsort,"\n\t\t\t\t%d",depth); fprintf(outsort,"\n\t\t\n"); fprintf(outsort,"\t\n");