proc_mutex = new mutex_t();
proc_cond = new condition_t();
+ process::set_proc_mutex(proc_mutex);
// Launch the MSG simulation.
XBT_INFO("Starting simulation at %f...", MSG_get_clock());
simulated_time = MSG_get_clock();
XBT_INFO("Simulation ended at %f.", simulated_time);
+ process::set_proc_mutex(NULL);
delete proc_cond;
delete proc_mutex;