diff options
| author | Marcus Müller <mmueller@gnuradio.org> | 2019-08-17 20:32:20 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2019-08-22 15:05:58 +0200 |
| commit | b08d13aed2a7e7ffdee09833bb24db8ce92dce66 (patch) | |
| tree | 4846eebe25b48c615cbe07d2a9f4e79d5e8ff72d /gnuradio-runtime/apps/gnuradio-config-info.cc | |
| parent | c6cb3bbc35153a9635d69eddab0d252f7441b854 (diff) | |
clang-tidy in gnuradio-runtime: use empty() instead of size()!=0
Diffstat (limited to 'gnuradio-runtime/apps/gnuradio-config-info.cc')
| -rw-r--r-- | gnuradio-runtime/apps/gnuradio-config-info.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnuradio-runtime/apps/gnuradio-config-info.cc b/gnuradio-runtime/apps/gnuradio-config-info.cc index 9ed8cac459..8e6fbba8ff 100644 --- a/gnuradio-runtime/apps/gnuradio-config-info.cc +++ b/gnuradio-runtime/apps/gnuradio-config-info.cc @@ -61,7 +61,7 @@ int main(int argc, char** argv) return 1; } - if (vm.size() == 0 || vm.count("help")) { + if (vm.empty() || vm.count("help")) { std::cout << desc << std::endl; return 1; } |