diff options
Diffstat (limited to 'src/options.h')
| -rw-r--r-- | src/options.h | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/src/options.h b/src/options.h index e739e28b1..e2bdea503 100644 --- a/src/options.h +++ b/src/options.h @@ -24,18 +24,9 @@ #ifndef OPTIONS_H #define OPTIONS_H +#include <stdint.h> // see commit's discussion #include <string> -#if defined(__GXX_EXPERIMENTAL_CXX0X__) -#if defined(__APPLE__) -#include <tr1/cstdint> -#else // defined(__APPLE__) -#include <cstdint> -#endif // defined(__APPLE__) -#else // defined(__GXX_EXPERIMENTAL_CXX0X__) -#include <stdint.h> -#endif // defined(__GXX_EXPERIMENTAL_CXX0X__) - #include "localconsts.h" /** |