-void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double 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);
+void xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double 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);