From 931ebf9637f492438c38fa01005cb246cf63fc1e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 3 Jun 2014 00:40:52 -0700
Subject: [PATCH] chore(util/rb_tree): cleanup code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/rb_tree.h | 1 -
 1 file changed, 1 deletion(-)

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;