From ced733e4da99c995db2ff50cc301ba13bcab50df Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 16 May 2011 16:18:49 +0200
Subject: [PATCH] * src/misc/intvcomp.hh, src/misc/intvcmp2.hh: Include
 stddef.h for size_t.

---
 ChangeLog            | 5 +++++
 src/misc/intvcmp2.hh | 1 +
 src/misc/intvcomp.hh | 1 +
 3 files changed, 7 insertions(+)

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
 {