diff options
| author | Taku Kudo <taku@google.com> | 2018-06-04 19:44:15 +0300 |
|---|---|---|
| committer | Taku Kudo <taku@google.com> | 2018-06-04 19:44:15 +0300 |
| commit | 2ff4267b91998297c02a9762051d75c0fb1c3011 (patch) | |
| tree | b1821b84ce650828ff05d8d00090a8e97ba65d8c /src/flags.cc | |
| parent | 506aa4595ad3c819d800dc52187832033f104bc7 (diff) | |
Minor style fixes
Diffstat (limited to 'src/flags.cc')
| -rw-r--r-- | src/flags.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/flags.cc b/src/flags.cc index 0324c19..c33e035 100644 --- a/src/flags.cc +++ b/src/flags.cc @@ -13,8 +13,6 @@ // limitations under the License.! #include "flags.h" -#include "common.h" -#include "util.h" #include <algorithm> #include <cctype> @@ -22,6 +20,10 @@ #include <map> #include <sstream> #include <string> +#include <utility> + +#include "common.h" +#include "util.h" #ifdef HAVE_CONFIG_H #include "config.h" |