From 208384b5b6b89dbe432ba9d3fd8c1e17c9dd2ec4 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 7 May 2014 14:07:15 -0700
Subject: [PATCH] fix(util/rb_tree): missing const

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

diff --git a/src/util/rb_tree.h b/src/util/rb_tree.h
index 30c501994..2ea2507b7 100644
--- a/src/util/rb_tree.h
+++ b/src/util/rb_tree.h
@@ -365,7 +365,7 @@ public:
 };
 
 template<typename T, typename CMP>
-rb_tree<T, CMP> insert(rb_tree<T, CMP> & t, T const & v) { rb_tree<T, CMP> r(t); r.insert(v); return r; }
+rb_tree<T, CMP> insert(rb_tree<T, CMP> const & t, T const & v) { rb_tree<T, CMP> r(t); r.insert(v); return r; }
 template<typename T, typename CMP>
-rb_tree<T, CMP> erase(rb_tree<T, CMP> & t, T const & v) { rb_tree<T, CMP> r(t); r.erase(v); return r; }
+rb_tree<T, CMP> erase(rb_tree<T, CMP> const & t, T const & v) { rb_tree<T, CMP> r(t); r.erase(v); return r; }
 }