xbt_replay: rethrow exception instead of xbt_die

[simgrid.git] / src / xbt / xbt_replay.cpp

diff --git a/src/xbt/xbt_replay.cpp b/src/xbt/xbt_replay.cpp
index 54cb09e..0a1e5ac 100644 (file)
--- a/src/xbt/xbt_replay.cpp
+++ b/src/xbt/xbt_replay.cpp
@@ -104,7 +104,7 @@ static void handle_action(ReplayAction& action)
     function(action);
   } catch (const Exception& e) {
     action.clear();
-    xbt_die("Replay error:\n %s", e.what());
+    throw;
   }
 }