[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers

[simgrid.git] / src / mc / mc_record.h

diff --git a/src/mc/mc_record.h b/src/mc/mc_record.h
index dbe0e86..db7636f 100644 (file)
--- a/src/mc/mc_record.h
+++ b/src/mc/mc_record.h
@@ -21,7 +21,6 @@
 #include <vector>
 
 #include <xbt/base.h>
-#include <xbt/dynar.h>
 
 namespace simgrid {
 namespace mc {