From 7c6c843965fa3a573773771229abd6c1ab37eaaa Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Wed, 7 May 2014 15:33:15 +0100
Subject: [PATCH] unix: Add missing stdio.h header for readline.

---
 unix/input.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/unix/input.c b/unix/input.c
index 0774503d90..06190306ab 100644
--- a/unix/input.c
+++ b/unix/input.c
@@ -24,6 +24,7 @@
  * THE SOFTWARE.
  */
 
+#include <stdio.h>
 #include <stdint.h>
 #include <stdlib.h>
 #include <string.h>