diff options
Diffstat (limited to 'extern/rangetree/range_tree_c_api.h')
-rw-r--r-- | extern/rangetree/range_tree_c_api.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extern/rangetree/range_tree_c_api.h b/extern/rangetree/range_tree_c_api.h index d78dc959a6c..f0a2af4a29a 100644 --- a/extern/rangetree/range_tree_c_api.h +++ b/extern/rangetree/range_tree_c_api.h @@ -35,6 +35,8 @@ void range_tree_uint_free(RangeTreeUInt *rt); void range_tree_uint_take(RangeTreeUInt *rt, unsigned v); +bool range_tree_uint_retake(RangeTreeUInt *rt, unsigned v); + unsigned range_tree_uint_take_any(RangeTreeUInt *rt); void range_tree_uint_release(RangeTreeUInt *rt, unsigned v); |