X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/15af6f9bf88ff4bfdd0b8e87039e666ee092fbfe..2ca35a707044d033c33cb4f016e6ffddfded0d05:/src/simix/SynchroSleep.cpp

diff --git a/src/simix/SynchroSleep.cpp b/src/simix/SynchroSleep.cpp
index 579f06d9a6..bc6cbe087b 100644
--- a/src/simix/SynchroSleep.cpp
+++ b/src/simix/SynchroSleep.cpp
@@ -3,6 +3,10 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
+#include <xbt/log.h>
+
+#include <simgrid/s4u/host.hpp>
+
 #include "src/simix/SynchroSleep.hpp"
 #include "src/surf/surf_interface.hpp"
 #include "src/simix/popping_private.h"
@@ -46,7 +50,7 @@ void simgrid::simix::Sleep::post()
       simcall->issuer->context->iwannadie = 1;
     }
     simcall_process_sleep__set__result(simcall, state);
-    simcall->issuer->waiting_synchro = NULL;
+    simcall->issuer->waiting_synchro = nullptr;
     if (simcall->issuer->suspended) {
       XBT_DEBUG("Wait! This process is suspended and can't wake up now.");
       simcall->issuer->suspended = 0;