diff --git a/ChangeLog b/ChangeLog
index 32ea95d7b..60e68be38 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-05-16  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/misc/intvcomp.hh, src/misc/intvcmp2.hh: Include stddef.h for
+	size_t.
+
 2011-05-05  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/misc/intvcmp2.cc: Cosmetics to please sanity checks.
diff --git a/src/misc/intvcmp2.hh b/src/misc/intvcmp2.hh
index a422608ee..4c5ad26cb 100644
--- a/src/misc/intvcmp2.hh
+++ b/src/misc/intvcmp2.hh
@@ -22,6 +22,7 @@
 # define SPOT_MISC_INTVCMP2_HH
 
 #include <vector>
+#include <stddef.h>
 
 namespace spot
 {
diff --git a/src/misc/intvcomp.hh b/src/misc/intvcomp.hh
index 335ec6af8..bdf63a13b 100644
--- a/src/misc/intvcomp.hh
+++ b/src/misc/intvcomp.hh
@@ -22,6 +22,7 @@
 # define SPOT_MISC_INTVCOMP_HH
 
 #include <vector>
+#include <stddef.h>
 
 namespace spot
 {