From 2c7d24c5bc8b99738c25fce68c5b3e485530b5cc Mon Sep 17 00:00:00 2001
From: Vincent Sanders <vince@kyllikki.org>
Date: Sun, 22 Apr 2018 13:53:48 +0100
Subject: ensure stdint is included where required

---
 frontends/monkey/filetype.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'frontends/monkey')

diff --git a/frontends/monkey/filetype.c b/frontends/monkey/filetype.c
index 979796baf..65c84f9bd 100644
--- a/frontends/monkey/filetype.c
+++ b/frontends/monkey/filetype.c
@@ -32,6 +32,7 @@
 
 #include <stdio.h>
 #include <stdbool.h>
+#include <stdint.h>
 #include <string.h>
 #include <strings.h>
 #include <stdlib.h>
-- 
cgit v1.2.3