diff --git a/py/misc.h b/py/misc.h
index 0ccb526198..1411d03043 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -31,6 +31,7 @@
 /** types *******************************************************/
 
 #include <stdbool.h>
+#include <stdint.h>
 #include <stddef.h>
 
 typedef unsigned char byte;