Angus Leeming wrote: > Actually, the bug is nothing to do with the internals of searchKeys > which is where the reverse_iterator stuff is used. The bug is, indeed > fixed by Jürgen's patch
Thanks for the explanation. Jean-Marc, would you accept this change for 1.3.7 (and for 1.4)? Jürgen