Wrap stdint.h in ifdef.

diff --git a/kexmlkem768x25519.c b/kexmlkem768x25519.c
index 18730ff8a0d6a182eaba1d3bb6bd7127cc4cc0b6..679446e978a4fc1ed2fb8582082f444775465619 100644 (file)
--- a/kexmlkem768x25519.c
+++ b/kexmlkem768x25519.c
@@ -28,7 +28,9 @@
 #include <sys/types.h>
 
 #include <stdio.h>
+#ifdef HAVE_STDINT_H
 #include <stdint.h>
+#endif
 #include <stdbool.h>
 #include <string.h>
 #include <signal.h>