#include "simgrid/modelchecker.h"
-#ifdef _WIN32
+#ifdef _XBT_WIN32
#include <windows.h>
#include <malloc.h>
#else
{
delete simix_global->context_factory;
simix_global->context_factory = nullptr;
- xbt_dict_remove((xbt_dict_t) _sg_cfg_set,"contexts/factory");
}
void *SIMIX_context_stack_new(void)