From f6f248b46492a719cf302000d274f9c109eada30 Mon Sep 17 00:00:00 2001
From: bvernoux <bvernoux@gmail.com>
Date: Sun, 28 Sep 2014 09:54:35 +0200
Subject: [PATCH] Fix error: unknown type name 'size_t'

---
 py/misc.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/py/misc.h b/py/misc.h
index 860215d624..d828998cfd 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;