do not use static buffer of log event for headers when switching to dynamic logs...

[simgrid.git] / src / xbt / xbt_rl_synchro.c

diff --git a/src/xbt/xbt_rl_synchro.c b/src/xbt/xbt_rl_synchro.c
index d9a902473e546c6c13b72690dcababf637ac7235..d7d8a4dfa743f7d6368bf19d5e743b6b0c747242 100644 (file)
--- a/src/xbt/xbt_rl_synchro.c
+++ b/src/xbt/xbt_rl_synchro.c
@@ -98,11 +98,6 @@ void xbt_mutex_acquire(xbt_mutex_t mutex) {
    xbt_os_mutex_acquire( (xbt_os_mutex_t)mutex );
 }
 
-void xbt_mutex_tryacquire(xbt_mutex_t mutex) {
-   DEBUG1("Try acquire mutex %p", mutex);
-   xbt_os_mutex_tryacquire( (xbt_os_mutex_t)mutex );
-}
-
 void xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay)
 {
        DEBUG2("Acquire mutex %p with delay %lf", mutex,delay);