Cleanup work to make is_race_reversible() a method of Transition

[simgrid.git] / teshsuite / models / maxmin_bench / maxmin_bench.cpp

diff --git a/teshsuite/models/maxmin_bench/maxmin_bench.cpp b/teshsuite/models/maxmin_bench/maxmin_bench.cpp
index d905956d18d2282beff468fc446c62ef52528266..b43d234cf601c27dee2f4394802cb49441148c73 100644 (file)
--- a/teshsuite/models/maxmin_bench/maxmin_bench.cpp
+++ b/teshsuite/models/maxmin_bench/maxmin_bench.cpp
@@ -7,7 +7,6 @@
 
 #include "simgrid/s4u/Engine.hpp"
 #include "src/kernel/lmm/maxmin.hpp"
-#include "xbt/module.h"
 #include "xbt/random.hpp"
 #include "xbt/sysdep.h" /* time manipulation for benchmarking */
 #include "xbt/xbt_os_time.h"