diff options
Diffstat (limited to 'extern/rangetree/range_tree_c_api.cc')
| -rw-r--r-- | extern/rangetree/range_tree_c_api.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/extern/rangetree/range_tree_c_api.cc b/extern/rangetree/range_tree_c_api.cc index 79d3df5792b..f040b5eaeb6 100644 --- a/extern/rangetree/range_tree_c_api.cc +++ b/extern/rangetree/range_tree_c_api.cc @@ -43,6 +43,11 @@ void range_tree_uint_take(RangeTreeUInt *rt, unsigned v) rt->take(v); } +bool range_tree_uint_retake(RangeTreeUInt *rt, unsigned v) +{ + return rt->retake(v); +} + unsigned range_tree_uint_take_any(RangeTreeUInt *rt) { return rt->take_any(); |