Add missing header for std::binary_search

Change-Id: I7b01c89633742413539fdbf5375cc9fb72839f89
1 file changed