Merge branch 'tracemgrsplit' into 'master'

[simgrid.git] / include / simgrid / Exception.hpp

diff --git a/include/simgrid/Exception.hpp b/include/simgrid/Exception.hpp
index 0f3a5e3..0012ee0 100644 (file)
--- a/include/simgrid/Exception.hpp
+++ b/include/simgrid/Exception.hpp
@@ -196,8 +196,8 @@ public:
   ~ForcefulKillException();
   const char* what() const noexcept { return msg_.c_str(); }
 
-  static void do_throw();
-  static bool try_n_catch(std::function<void(void)> try_block);
+  XBT_ATTRIB_NORETURN static void do_throw();
+  static bool try_n_catch(const std::function<void()>& try_block);
 
 private:
   std::string msg_ = std::string("Actor killed.");