diff --git a/src/partition.c b/src/partition.c
index 0f8eb3ebe334d71228510307dd9ccc4e56e234b3..3e61df70284110ebbe1ce2b03744ab7f53c10335 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