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.