diff --git a/drama/src/rev-mc.c b/drama/src/rev-mc.c
index d0b95cd..a99b2b5 100644
--- a/drama/src/rev-mc.c
+++ b/drama/src/rev-mc.c
@@ -336,7 +336,7 @@ find_row_mask(std::vector<set_t> &sets,
                     if (row_mask >= last_mask) { break; }
 
                     row_mask = next_bit_permutation(row_mask);
-                    verbose_printerr("[LOG] - Cur Row mask: 0x%0lx \t\t bits: %s\n", cur_mask, bit_string(cur_mask));
+                    // verbose_printerr("[LOG] - Cur Row mask: 0x%0lx \t\t bits: %s\n", cur_mask, bit_string(cur_mask));
                 }
 
                 if (resolve(cur_mask, found)) {