]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/sthandler.c
Debug code removed.
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / sthandler.c
index 15b83fa7eb16d9bc2fbe5165741563a1274da0ea..b6f64a06803bb9d9d467a5dac36e940073873b96 100644 (file)
@@ -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)