diff options
| author | Andrei Karas <akaras@inbox.ru> | 2014-05-30 21:03:20 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2014-05-31 12:16:43 +0300 |
| commit | c0197404a15a3937ef3cd21f48a09e691a96518f (patch) | |
| tree | 582b01cfc1c716b19122fe28f57abefb3bf5b716 /src/options.h | |
| parent | 9bb11133522836a9c5e251550ac88c9a4e091c0e (diff) | |
| download | plus-c0197404a15a3937ef3cd21f48a09e691a96518f.tar.gz plus-c0197404a15a3937ef3cd21f48a09e691a96518f.tar.bz2 plus-c0197404a15a3937ef3cd21f48a09e691a96518f.tar.xz plus-c0197404a15a3937ef3cd21f48a09e691a96518f.zip | |
fix code style.
Diffstat (limited to 'src/options.h')
| -rw-r--r-- | src/options.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/options.h b/src/options.h index a36c4bda4..d5accaa60 100644 --- a/src/options.h +++ b/src/options.h @@ -25,6 +25,12 @@ #include <string> +#if defined(__GXX_EXPERIMENTAL_CXX0X__) +#include <cstdint> +#else +#include <stdint.h> +#endif + /** * A structure holding the values of various options that can be passed * from the command line. |