Kill unused includes, and put the remaining ones at the top of the file.

[simgrid.git] / examples / deprecated / msg / mc / bugged1_liveness.c

diff --git a/examples/deprecated/msg/mc/bugged1_liveness.c b/examples/deprecated/msg/mc/bugged1_liveness.c
index 8fd8490..d519d5d 100644 (file)
--- a/examples/deprecated/msg/mc/bugged1_liveness.c
+++ b/examples/deprecated/msg/mc/bugged1_liveness.c
@@ -17,6 +17,7 @@
 
 #include <simgrid/modelchecker.h>
 #include <simgrid/msg.h>
+#include <xbt/dynar.h>
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");