#include <xbt/promise.hpp>
+#include <simgrid/kernel/Timer.hpp>
#include <simgrid/kernel/future.hpp>
#include <simgrid/s4u/Actor.hpp>
#include <simgrid/s4u/Engine.hpp>
{
auto promise = std::make_shared<simgrid::kernel::Promise<void>>();
auto future = promise->get_future();
- simgrid::simix::Timer::set(date, [promise] { promise->set_value(); });
+ simgrid::kernel::timer::Timer::set(date, [promise] { promise->set_value(); });
return future;
}