Merge pull request #878 from bvernoux/master

Fix error: unknown type name 'size_t'

1 files changed, 1 insertions, 0 deletions

diff --git a/py/misc.h b/py/misc.h
index 860215d62..d828998cf 100644
--- a/py/misc.h
+++ b/py/misc.h
@@ -32,6 +32,7 @@
 /** types *******************************************************/
 
 #include <stdbool.h>
+#include <stddef.h>
 
 typedef unsigned char byte;
 typedef unsigned int uint;