diff --git a/src/util/rb_tree.h b/src/util/rb_tree.h
index 2ea2507b7..d334dff2b 100644
--- a/src/util/rb_tree.h
+++ b/src/util/rb_tree.h
@@ -68,7 +68,6 @@ class rb_tree : public CMP {
 
     static node ensure_unshared(node && n) {
         if (n.is_shared()) {
-            // std::cout << "SHARED\n";
             return node(new node_cell(*n.m_ptr));
         } else {
             return n;