model-checker : forget include ucontext.h for struct smx_ctx_sysv

diff --git a/src/simix/smx_context_sysv.c b/src/simix/smx_context_sysv.c
index 758f7fe..b292db7 100644 (file)
--- a/src/simix/smx_context_sysv.c
+++ b/src/simix/smx_context_sysv.c
@@ -13,12 +13,6 @@
 #include "gras_config.h"
 #include "context_sysv_config.h"        /* loads context system definitions */
 
-#ifdef _XBT_WIN32
-#  include <win32_ucontext.h>     /* context relative declarations */
-#else
-#  include <ucontext.h>           /* context relative declarations */
-#endif
-
 #ifdef HAVE_VALGRIND_VALGRIND_H
 #  include <valgrind/valgrind.h>
 #endif                          /* HAVE_VALGRIND_VALGRIND_H */

diff --git a/src/simix/smx_private.h b/src/simix/smx_private.h
index 9a459cc..fcf7fd1 100644 (file)
--- a/src/simix/smx_private.h
+++ b/src/simix/smx_private.h
@@ -25,6 +25,12 @@
 #include "smx_smurf_private.h"
 #include "smx_synchro_private.h"
 
+#ifdef _XBT_WIN32
+#  include <win32_ucontext.h>     /* context relative declarations */
+#else
+#  include <ucontext.h>           /* context relative declarations */
+#endif
+
 /* Define only for SimGrid benchmarking purposes */
 //#define TIME_BENCH_PER_SR /* this aims at measuring the time spent in each scheduling round per each thread. The code is thus run in sequential to bench separately each SSR */
 //#define TIME_BENCH_AMDAHL /* this aims at measuring the porting of time that could be parallelized at maximum (to get the optimal speedup by applying the amdahl law). */