max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(util/rb_tree): fix remove(rb_tree)

Browse source
This commit is contained in:
Sebastian Ullrich 2017-04-24 17:32:49 +02:00
parent b26d15b9e9
commit cdd3f7fd6e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/rb_tree.h
View file

@ -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); }