diff --git a/src/partition.c b/src/partition.c
index ea25bc132dacf19b7a5c12765d2a39313fc01486..81cd94f7e743b071be7450062c147d32035c3254 100644
--- a/src/partition.c
+++ b/src/partition.c
@@ -35,7 +35,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <strings.h>
-#include <values.h>
+#include <float.h>
 
 /* MPI headers. */
 #ifdef WITH_MPI