Free previously set process data.

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index fbf18b4..02d4a9f 100644 (file)
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -93,6 +93,7 @@ void smpi_process_init(int *argc, char ***argv)
     if(temp_bar != NULL) data->finalization_barrier = temp_bar;
     data->index = index;
     data->instance_id = instance_id;
     if(temp_bar != NULL) data->finalization_barrier = temp_bar;
     data->index = index;
     data->instance_id = instance_id;

+    xbt_free(simcall_process_get_data(proc));

     simcall_process_set_data(proc, data);
     if (*argc > 3) {
       free((*argv)[1]);
     simcall_process_set_data(proc, data);
     if (*argc > 3) {
       free((*argv)[1]);