model-checker : ignore irrelevant differences for heap comparison algorithm

[simgrid.git] / src / msg / msg_process.c

diff --git a/src/msg/msg_process.c b/src/msg/msg_process.c
index 9b8a842d6e460a290e2290a616a38fea0da8d632..2bb30a9253ed851077b5ba5e701f6e366b930722 100644 (file)
--- a/src/msg/msg_process.c
+++ b/src/msg/msg_process.c
@@ -179,7 +179,7 @@ msg_process_t MSG_process_create_with_environment(const char *name,
 
 #ifdef HAVE_TRACING
   TRACE_msg_process_create(name, simdata->PID, simdata->m_host);
-  #endif
+#endif
   /* Let's create the process: SIMIX may decide to start it right now,
    * even before returning the flow control to us */
   simcall_process_create(&process, name, code, simdata, SIMIX_host_get_name(host->smx_host), -1,
@@ -187,6 +187,9 @@ msg_process_t MSG_process_create_with_environment(const char *name,
 
   if (!process) {
     /* Undo everything we have just changed */
+#ifdef HAVE_TRACING
+    TRACE_msg_process_destroy (name, simdata->PID, simdata->m_host);
+#endif
     msg_global->PID--;
     xbt_free(simdata);
     return NULL;