From 002ff7da7e792010c4eba5903075af83cb1ebd3e Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sun, 23 Feb 2014 07:21:13 -0800
Subject: [PATCH] Add missing header in HRT

---
 src/drivers/drv_hrt.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/drivers/drv_hrt.h b/src/drivers/drv_hrt.h
index d130d68b34..8bfc90c64b 100644
--- a/src/drivers/drv_hrt.h
+++ b/src/drivers/drv_hrt.h
@@ -41,6 +41,7 @@
 
 #include <sys/types.h>
 #include <stdbool.h>
+#include <inttypes.h>
 
 #include <time.h>
 #include <queue.h>