X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/df6f01f7876ff2b5dc12e3eeee31e963955f3d68..e2754a74fa2b2bc1b32b2304ee845dd684af497e:/include/xbt/xbt_os_time.h

diff --git a/include/xbt/xbt_os_time.h b/include/xbt/xbt_os_time.h
index d0a42926b8..b9d9b46b92 100644
--- a/include/xbt/xbt_os_time.h
+++ b/include/xbt/xbt_os_time.h
@@ -10,13 +10,14 @@
 #define _XBT_OS_TIMER_H
 
 #include <xbt/misc.h>           /* XBT_PUBLIC */
+#include <stddef.h>             /* size_t */
 
 SG_BEGIN_DECL()
 
 /** @brief get time in seconds 
-
-  * gives  the  number  of  seconds since the Epoch (00:00:00 UTC, January 1, 1970).
-  */
+ *
+ * gives  the  number  of  seconds since the Epoch (00:00:00 UTC, January 1, 1970).
+ */
 XBT_PUBLIC(double) xbt_os_time(void);
 XBT_PUBLIC(void) xbt_os_sleep(double sec);