From: Claudio Sacerdoti Coen Date: Wed, 20 Nov 2002 14:04:06 +0000 (+0000) Subject: Debug code removed. X-Git-Tag: V_0_0_5~27 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5bd029ce1449ba6fd74f4c6d4f1717bcd9095abb;p=helm.git Debug code removed. --- diff --git a/helm/metadata/create_V7_mowgli/METADATA/sthandler.c b/helm/metadata/create_V7_mowgli/METADATA/sthandler.c index 15b83fa7e..b6f64a068 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)