diff --git a/src/muz/base/dl_util.h b/src/muz/base/dl_util.h
index 623f287f7..401d8e816 100644
--- a/src/muz/base/dl_util.h
+++ b/src/muz/base/dl_util.h
@@ -324,17 +324,14 @@ namespace datalog {
         if (cycle_len < 2) 
             return;
         auto aux = container[permutation_cycle[0]];
-        verbose_stream() << "xx " << cycle_len << "\n";
         for (unsigned i = 1; i < cycle_len; i++) 
             container[permutation_cycle[i-1]] = container[permutation_cycle[i]];
         container[permutation_cycle[cycle_len-1]] = aux;
     }
     template<class T, class M>
     void permute_by_cycle(ref_vector<T,M> & container, unsigned cycle_len, const unsigned * permutation_cycle) {
-        if (cycle_len<2) {
+        if (cycle_len < 2) 
             return;
-        }
-        verbose_stream() << "ptr\n";
         T * aux = container.get(permutation_cycle[0]);
         for (unsigned i=1; i < cycle_len; i++) {
             container.set(permutation_cycle[i-1], container.get(permutation_cycle[i]));