# include <valgrind/valgrind.h>
#endif /* HAVE_VALGRIND_VALGRIND_H */
-#ifdef WIN32
+#ifdef _XBT_WIN32
+ #include "win32_ucontext.h"
+ #include "win32_ucontext.c"
+#else
#include "ucontext.h"
- #include "ucontext.c"
#endif
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix_context);