From 89b37fd7275b4922a89cddf241970439dd755c0f Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lorenz@px4.io>
Date: Tue, 27 Dec 2016 16:03:40 +0100
Subject: [PATCH] IO: Add missing float header

---
 src/modules/px4iofirmware/mixer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/modules/px4iofirmware/mixer.cpp b/src/modules/px4iofirmware/mixer.cpp
index 0d619db91b..47586b4590 100644
--- a/src/modules/px4iofirmware/mixer.cpp
+++ b/src/modules/px4iofirmware/mixer.cpp
@@ -44,6 +44,7 @@
 
 #include <sys/types.h>
 #include <stdbool.h>
+#include <float.h>
 #include <string.h>
 
 #include <drivers/drv_pwm_output.h>