diff --git a/src/base/range_map.hh b/src/base/range_map.hh index 1c121925d..0ffc28ed9 100644 --- a/src/base/range_map.hh +++ b/src/base/range_map.hh @@ -69,6 +69,13 @@ class range_map return tree.end(); } + template + const iterator + find(const U &r) + { + return find(RangeSize(r, 1)); + } + template bool intersect(const Range &r)