X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/797980252c46782a2b6afdc729088af5acff79bf..305fbc7b720f845588b22de910245576971a5f97:/src/include/xbt/xbt_os_thread.h

diff --git a/src/include/xbt/xbt_os_thread.h b/src/include/xbt/xbt_os_thread.h
index f69276c0cd..6931538b5e 100644
--- a/src/include/xbt/xbt_os_thread.h
+++ b/src/include/xbt/xbt_os_thread.h
@@ -14,11 +14,6 @@
 #include "xbt/misc.h" /* SG_BEGIN_DECL */
 #include "xbt/function_types.h"
 
-#ifndef WIN32 /* HAVE_SEMAPHOR_H */
-#include <semaphore.h>
-#endif
-
-
 SG_BEGIN_DECL()
 
 /** @addtogroup XBT_thread
@@ -50,6 +45,7 @@ SG_BEGIN_DECL()
 
   XBT_PUBLIC(xbt_os_mutex_t) xbt_os_mutex_init(void);
   XBT_PUBLIC(void)           xbt_os_mutex_acquire(xbt_os_mutex_t mutex);
+  XBT_PUBLIC(void)			 xbt_os_mutex_timedacquire(xbt_os_mutex_t mutex, double delay);		
   XBT_PUBLIC(void)           xbt_os_mutex_release(xbt_os_mutex_t mutex);
   XBT_PUBLIC(void)           xbt_os_mutex_destroy(xbt_os_mutex_t mutex);