From b63a4513d5ecb19a2781fe01ea15d8ead37f5230 Mon Sep 17 00:00:00 2001
From: David Given <dg@cowlark.com>
Date: Sun, 15 Jan 2017 12:04:47 +0100
Subject: [PATCH] Add missing header.

---
 util/led/archive.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/util/led/archive.c b/util/led/archive.c
index e36958d17..7cb3397b8 100644
--- a/util/led/archive.c
+++ b/util/led/archive.c
@@ -8,6 +8,8 @@ static char rcsid[] = "$Id$";
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <stdint.h>
+#include <stdbool.h>
 #include "arch.h"
 #include "out.h"
 #include "ranlib.h"