- 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);
+ XBT_DEBUG("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);
+ XBT_DEBUG("Done waiting cond %p, mutex %p for %f sec", cond, mutex, delay);