- DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
- xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
- DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);
+ DEBUG3("Wait cond %p, mutex %p for %f sec", cond, mutex,delay);
+ xbt_os_cond_timedwait( (xbt_os_cond_t)cond, (xbt_os_mutex_t)mutex, delay );
+ DEBUG3("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);