From cdd3f7fd6e02a547b8765a79c66b0ccfb6cd43ae Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Mon, 24 Apr 2017 17:32:49 +0200 Subject: [PATCH] fix(util/rb_tree): fix `remove(rb_tree)` --- src/util/rb_tree.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/rb_tree.h b/src/util/rb_tree.h index 7ab11f4ec1..491912a4cb 100644 --- a/src/util/rb_tree.h +++ b/src/util/rb_tree.h @@ -515,7 +515,7 @@ public: } void remove(rb_tree const & s) { - s.for_each([&](T const & v) { remove(v); }); + s.for_each([&](T const & v) { erase(v); }); } friend bool is_eqp(rb_tree const & s1, rb_tree const & s2) { return is_eqp(s1.m_root, s2.m_root); }