X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FOCamlDriver.cpp;fp=src%2FOCamlDriver.cpp;h=ab145ec94b540dc25def0065915cb0ad97eade98;hb=071e25c710e9a48116f66ddf51bfdca25e20502b;hp=146a0dfbc878bf9ff5458736ca250c6fad411ddc;hpb=791c8ffadb7e65fc61d18e6ad8e497f1cfe46fb3;p=SXSI%2Fxpathcomp.git

diff --git a/src/OCamlDriver.cpp b/src/OCamlDriver.cpp
index 146a0df..ab145ec 100644
--- a/src/OCamlDriver.cpp
+++ b/src/OCamlDriver.cpp
@@ -1070,7 +1070,6 @@ extern "C" value caml_bitmap_resize(value bitmap, value nsize)
   CAMLparam2(bitmap, nsize);
   size_t bits = Long_val(nsize);
   size_t bytes = (bits / (8 * sizeof(unsigned int)) + 1 ) * sizeof(unsigned int);
-  fprintf(stderr, "Growing to: %lu bytes\n", (bits / (8 * sizeof(unsigned int)) + 1 ) * sizeof(unsigned int));
   unsigned int * buffer = (unsigned int*) realloc((void *) bitmap, bytes);
   if (buffer == NULL)
     CAMLRAISEMSG("BP: cannot reallocate memory");
@@ -1148,7 +1147,6 @@ extern "C" value caml_bp_save(value b, value file)
   int f1 = Int_val(file);
   int f2 = dup(f1);
   FILE * fd = fdopen(f2, "a");
-  fprintf(stderr, "Writing %i %p bytes\n", ((B->n+D-1)/D)*8, B );
   fflush(stderr);
   if (fd == NULL)
     CAMLRAISEMSG("Error saving bp file");