Doxygen updates.

Remove version of search_map that returns two distinguishing results;
only used in one place, and that can be replaced by a call to count()

0 files changed, 0 insertions, 0 deletions