Use "config.h" to get uint8_t. No more need of <stddef.h> for size_t.

diff --git a/src/microcode/osentropy.h b/src/microcode/osentropy.h
index 3112bdceabd9c148267b7fca6d0894607c1bffc7..d6b07053717eb7c4920cd05a2d54a13931bc3361 100644 (file)
--- a/src/microcode/osentropy.h
+++ b/src/microcode/osentropy.h
@@ -27,7 +27,7 @@ USA.
 #ifndef MITSCHEME_OSENTROPY_H
 #define MITSCHEME_OSENTROPY_H
 
-#include <stddef.h>
+#include "config.h"
 
 void OS_get_entropy (uint8_t [32]);