small correction

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

diff --git a/src/xbt/xbt_replay.c b/src/xbt/xbt_replay.c
index 39bd952..47ae0ee 100644 (file)
--- a/src/xbt/xbt_replay.c
+++ b/src/xbt/xbt_replay.c
@@ -167,10 +167,9 @@ int xbt_replay_action_runner(int argc, char *argv[])
         function((const char **)evt);
       }
       CATCH(e) {
-        XBT_ERROR("Replay error :\n %s"
+        free(evt);
+        xbt_die("Replay error :\n %s"
                   , e.msg);
-        xbt_ex_free(e);
-        RETHROW;                
       }
       for (i=0;evt[i]!= NULL;i++)
         free(evt[i]);