X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2Fsthandler.c;h=0f32e07c179c6a0cf25a86b66bd79e19eb10455d;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=15b83fa7eb16d9bc2fbe5165741563a1274da0ea;hpb=9261580b5e489f52d7e67bbcc918a564e0848035;p=helm.git
diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
index 15b83fa7e..0f32e07c1 100644
--- a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
+++ b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c
@@ -189,7 +189,6 @@ print_all(about,outrel,outsort)
int i;
struct st_bucket *curr;
curr = all;
- printf("printall\n"); fflush(stdout);
while (curr != NULL)
{
for (i = 0; i < 5; ++i)
@@ -244,37 +243,37 @@ print_mainhyp(about,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%d",curr->val);
fprintf(outsort,"\n\t\t\n");
+ fprintf(outsort,"\t\n");
curr = curr->next;
}
- fprintf(outsort,"\t\n");
}
else
{
@@ -327,8 +326,8 @@ print_mainconcl(about,outrel,outsort,uri,depth)
{
printf("\t\t");
printf("\n\t\t\t\t");
- printf("\n\t\t\t\t",uri);
printf("\n\t\t\t\t%d",depth);
+ printf("\n\t\t\t\t",uri);
printf("\n\t\t\n");
}
}