From 09b9d6ba1fe5f7732c77c17940ea5d247797a30e Mon Sep 17 00:00:00 2001
From: Wail Khemir <wail.khemir@polymtl.ca>
Date: Tue, 17 Nov 2015 16:39:21 -0500
Subject: [PATCH] Added a lower-half timer driver for stm32 which is compatible
 with the upper-half driver located at /drivers/timers/timer.c

---
 include/nuttx/timers/timer.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/nuttx/timers/timer.h b/include/nuttx/timers/timer.h
index 8e6926083c..5d11498e71 100644
--- a/include/nuttx/timers/timer.h
+++ b/include/nuttx/timers/timer.h
@@ -45,6 +45,7 @@
 #include <nuttx/compiler.h>
 #include <nuttx/irq.h>
 #include <nuttx/fs/ioctl.h>
+#include <stdbool.h>
 
 #ifdef CONFIG_TIMER