From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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)