From 9f001b09a80fda2e5929f5defcc75367336053bf Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Mon, 7 Dec 2015 20:08:07 +0200
Subject: [PATCH] py/misc.h: Include stdint.h, as large share of code now
 depends on it.

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

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;