From 9509e207c1b25e1e20bbb25bfdfc43f69c647ad4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 3 May 2018 15:45:01 +0200
Subject: [PATCH 1/1] Use s4u.

---
 src/xbt/xbt_os_synchro.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index b78dfdd2ac..4e38f7ed23 100644
--- a/src/xbt/xbt_os_synchro.cpp
+++ b/src/xbt/xbt_os_synchro.cpp
@@ -66,14 +66,12 @@ int xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
 
 void xbt_cond_signal(xbt_cond_t cond)
 {
-  // FIXME: this should use s4u
-  simgrid::simix::kernelImmediate([cond]() { cond->signal(); });
+  cond->cond_.notify_one();
 }
 
 void xbt_cond_broadcast(xbt_cond_t cond)
 {
-  // FIXME: this should use s4u
-  simgrid::simix::kernelImmediate([cond]() { cond->broadcast(); });
+  cond->cond_.notify_all();
 }
 
 void xbt_cond_destroy(xbt_cond_t cond)
-- 
2.20.1