From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 27 May 2014 22:09:33 +0000 (+0200)
Subject: Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
X-Git-Tag: v3_11~19^2~10
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1bdda1e97bd0162312e4b1d6c6d5b8ec18f4d9f7?hp=f0b35a87e011cda7c7b88d42ca3455a8ff2ddbd1

Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
---

diff --git a/include/xbt/xbt_os_time.h b/include/xbt/xbt_os_time.h
index 0b1341aa29..1af3e60e22 100644
--- a/include/xbt/xbt_os_time.h
+++ b/include/xbt/xbt_os_time.h
@@ -10,6 +10,7 @@
 #define _XBT_OS_TIMER_H
 
 #include <xbt/misc.h>           /* XBT_PUBLIC */
+#include <stddef.h>             /* size_t */
 
 /** @brief get time in seconds