use smart pointers for kernel timers

[simgrid.git] / src / kernel / activity / ExecImpl.hpp

diff --git a/src/kernel/activity/ExecImpl.hpp b/src/kernel/activity/ExecImpl.hpp
index 1c007602f65fe6d0ae1f9cdf110cafa430b4dc9f..7bfc430277cbb59ed86d7c99ccead916a7a2f946 100644 (file)
--- a/src/kernel/activity/ExecImpl.hpp
+++ b/src/kernel/activity/ExecImpl.hpp
@@ -59,6 +59,7 @@ public:
 
   ExecImpl* start();
   void post() override;
+  void set_exception(actor::ActorImpl* issuer) override;
   void finish() override;
 
   static void wait_any_for(actor::ActorImpl* issuer, const std::vector<ExecImpl*>& execs, double timeout);