diff --git a/src/osdmaptool.cc b/src/osdmaptool.cc index 6df7eb038c3..66feeb94d81 100644 --- a/src/osdmaptool.cc +++ b/src/osdmaptool.cc @@ -120,7 +120,7 @@ int main(int argc, const char **argv) ++i; } } - if (args.size() < 1) { + if (args.empty()) { cerr << me << ": must specify osdmap filename" << std::endl; usage(); }