std::abort();
}
- catch (simgrid::kernel::context::ForcefulKillException& e) {
+ catch (simgrid::ForcefulKillException const& e) {
XBT_ERROR("Received a ForcefulKillException at the top-level exception handler. Maybe a Java->C++ call that is not "
"protected "
"in a try/catch?");