diff --git a/driver-bflsc.c b/driver-bflsc.c
index b019b8ff..e95805c2 100644
--- a/driver-bflsc.c
+++ b/driver-bflsc.c
@@ -8,6 +8,7 @@
  * any later version.  See COPYING for more details.
  */
 
+#include <float.h>
 #include <limits.h>
 #include <pthread.h>
 #include <stdint.h>