X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4e46fb705a7ae3d90e14ea3b9a0cc9b4e9007f99..2b1e3b1eda0915dede0146e8ea5c183a0483acee:/src/xbt/exception.cpp

diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp
index a87ac86da6..41db24db88 100644
--- a/src/xbt/exception.cpp
+++ b/src/xbt/exception.cpp
@@ -145,7 +145,7 @@ static void handler()
     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?");