model-checker : new simcall MC_RANDOM

[simgrid.git] / testsuite / xbt / parmap_bench.c

diff --git a/testsuite/xbt/parmap_bench.c b/testsuite/xbt/parmap_bench.c
index cec9426..d63bfc3 100644 (file)
--- a/testsuite/xbt/parmap_bench.c
+++ b/testsuite/xbt/parmap_bench.c
@@ -3,7 +3,7 @@
 #include <xbt/dynar.h>
 #include <xbt/parmap.h>
 #include <xbt/sysdep.h>
-#include <gras_config.h>        /* HAVE_FUTEX_H */
+#include <internal_config.h>        /* HAVE_FUTEX_H */
 #include "xbt/xbt_os_time.h"
 
 #define MODES_DEFAULT 0x7