-void s4u::ConditionVariable::wait_for(s4u::Mutex *mutex, double timeout) {
- simcall_cond_wait_timeout(cond_, mutex->mutex_, timeout);
+void s4u::ConditionVariable::wait_for(std::unique_lock<Mutex>& lock, double timeout) {
+ simcall_cond_wait_timeout(cond_, lock.mutex()->mutex_, timeout);