1 files changed, 2 insertions, 0 deletions
diff --git a/xmss_wots.h b/xmss_wots.h
index 495431087..8bcb44e04 100644
--- a/xmss_wots.h
+++ b/xmss_wots.h
@@ -8,7 +8,9 @@ Public domain.
 #ifndef WOTS_H
 #define WOTS_H
+#ifdef HAVE_STDINT_H
 #include "stdint.h"
+#endif
 /**
 * WOTS parameter set

diff --git a/xmss_wots.h b/xmss_wots.h index 495431087..8bcb44e04 100644 --- a/xmss_wots.h +++ b/xmss_wots.h
@@ -8,7 +8,9 @@ Public domain.
8	#ifndef WOTS_H	8	#ifndef WOTS_H
9	#define WOTS_H	9	#define WOTS_H
10		10
		11	#ifdef HAVE_STDINT_H
11	#include "stdint.h"	12	#include "stdint.h"
		13	#endif
12		14
13	/**	15	/**
14	* WOTS parameter set	16	* WOTS parameter set