#include "src/surf/storage_interface.hpp"
#include "src/surf/xml/platf.hpp"
#include "smx_private.h"
-#include "smx_private.hpp"
#include "xbt/str.h"
#include "xbt/ex.h" /* ex_backtrace_display */
#include "mc/mc.h"
simix_global->mutex = NULL;
/* Let's free maestro now */
- SIMIX_context_free(simix_global->maestro_process->context);
+ delete simix_global->maestro_process->context;
xbt_free(simix_global->maestro_process->running_ctx);
xbt_free(simix_global->maestro_process);
simix_global->maestro_process = NULL;