From 6627d3f1ef6fc60a053b9ded8669082786b08f4b Mon Sep 17 00:00:00 2001
From: Bertrand Songis <bsongis@gmail.com>
Date: Wed, 4 Mar 2020 10:16:04 +0100
Subject: [PATCH] Compilation fix

---
 radio/src/debug.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/radio/src/debug.h b/radio/src/debug.h
index 850b7407e..62d704454 100644
--- a/radio/src/debug.h
+++ b/radio/src/debug.h
@@ -21,6 +21,7 @@
 #ifndef _DEBUG_H_
 #define _DEBUG_H_
 
+#include <float.h>
 #include "definitions.h"
 #include "rtc.h"
 #include "dump.h"