1 files changed, 2 insertions, 0 deletions
diff --git a/xmss_commons.h b/xmss_commons.h
index 2cb7cc555..d9a920c02 100644
--- a/xmss_commons.h
+++ b/xmss_commons.h
@@ -8,7 +8,9 @@ Public domain.
 #define XMSS_COMMONS_H
 #include <stdlib.h>
+#ifdef HAVE_STDINT_H
 #include <stdint.h>
+#endif
 void to_byte(unsigned char *output, unsigned long long in, uint32_t bytes);
 #if 0

diff --git a/xmss_commons.h b/xmss_commons.h index 2cb7cc555..d9a920c02 100644 --- a/xmss_commons.h +++ b/xmss_commons.h
@@ -8,7 +8,9 @@ Public domain.
8	#define XMSS_COMMONS_H	8	#define XMSS_COMMONS_H
9		9
10	#include <stdlib.h>	10	#include <stdlib.h>
		11	#ifdef HAVE_STDINT_H
11	#include <stdint.h>	12	#include <stdint.h>
		13	#endif
12		14
13	void to_byte(unsigned char *output, unsigned long long in, uint32_t bytes);	15	void to_byte(unsigned char *output, unsigned long long in, uint32_t bytes);
14	#if 0	16	#if 0