From c8ebdd0a29f781646e66cd7a791957205d617dbe Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 2 Jul 2019 11:35:52 +0200
Subject: [PATCH] Just let the exception flow.

---
 src/simix/smx_global.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 25be94c5cb..007bb0aebb 100644
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -364,11 +364,7 @@ static bool SIMIX_execute_timers()
     // FIXME: make the timers being real callbacks (i.e. provide dispatchers that read and expand the args)
     smx_timer_t timer = simgrid::simix::simix_timers.top().second;
     simgrid::simix::simix_timers.pop();
-    try {
-      timer->callback();
-    } catch (...) {
-      xbt_die("Exception thrown out of timer callback");
-    }
+    timer->callback();
     delete timer;
   }
   return result;
-- 
2.20.1