X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler_ind.c;h=bfdc795d56e9f71717cb8088e57f78f3cfea6ef4;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=d49863f5bbe33d75b687b678afe3d241ba62f014;hpb=cb9f345924b8595b2e4922326ff335af133e46ce;p=helm.git
diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
index d49863f5b..bfdc795d5 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler_ind.c
@@ -245,37 +245,37 @@ print_mainhyp(about,out,outrel,outsort,uri,l)
curr = l;
if (!strcmp(uri,"Rel"))
{
- fprintf(outrel,"\t\n");
/* scan the list */
while (curr != NULL)
{
+ fprintf(outrel,"\t\n");
fprintf(outrel,"\t\t");
fprintf(outrel,"\n\t\t\t\t");
fprintf(outrel,"\n\t\t\t\t%d",curr->val);
fprintf(outrel,"\n\t\t\n");
+ fprintf(outrel,"\t\n");
curr = curr->next;
}
- fprintf(outrel,"\t\n");
}
else if ((!strcmp(uri,"Prop")) || (!strcmp(uri,"Type")) ||
(!strcmp(uri,"Set")))
{
/* scan the list */
- fprintf(outsort,"\t\n");
while (curr != NULL)
{
+ fprintf(outsort,"\t\n");
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");
+ fprintf(outsort,"\t\n");
curr = curr->next;
}
- fprintf(outsort,"\t\n");
}
else
{
@@ -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");
@@ -329,8 +329,8 @@ print_mainconcl(about,out,outrel,outsort,uri,depth)
{
fprintf(out,"\t\t");
fprintf(out,"\n\t\t\t\t");
- fprintf(out,"\n\t\t\t\t",uri);
fprintf(out,"\n\t\t\t\t%d",depth);
+ fprintf(out,"\n\t\t\t\t",uri);
fprintf(out,"\n\t\t\n");
}
}