>>>>> "Simon" == Simon Marchi <simark@simark.ca> writes: Simon> Thanks, that LGTM. If you want to use std::binary_search, that would be fine Simon> as well. I tried this but it wasn't notably simpler and it meant changes to the error handling, so I dropped it. Tom