From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 4 Apr 2016 08:11:53 +0000 (+0200)
Subject: Fix #includes to automaton.h
X-Git-Tag: v3_13~187^2~12
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0e9f97aeb3a3b0843cf7429cb586e4149636918e

Fix #includes to automaton.h
---

diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c
index 04945213c5..949020bd2f 100644
--- a/examples/msg/mc/bugged1_liveness.c
+++ b/examples/msg/mc/bugged1_liveness.c
@@ -18,7 +18,6 @@
 
 #include "simgrid/msg.h"
 #include "mc/mc.h"
-#include "xbt/automaton.h"
 #include "bugged1_liveness.h"
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index da785bb23f..b82e3ac05c 100644
--- a/examples/msg/mc/bugged2_liveness.c
+++ b/examples/msg/mc/bugged2_liveness.c
@@ -12,7 +12,6 @@
 
 #include "simgrid/msg.h"
 #include "mc/mc.h"
-#include "xbt/automaton.h"
 #include "bugged2_liveness.h"
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "my log messages");
diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index a401b7a5fe..0579ca6e2a 100644
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -20,7 +20,6 @@
 #include <simgrid_config.h> /* HAVE_MC ? */
 
 #include <xbt/base.h>
-#include <xbt/automaton.h>
 
 SG_BEGIN_DECL()
 
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 28c1533afb..c3ea760ff2 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -22,6 +22,7 @@
 #include <xbt/fifo.h>
 #include <xbt/config.h>
 #include <xbt/base.h>
+#include <xbt/automaton.h>
 
 #include "mc/mc.h"
 #include "mc/datatypes.h"
diff --git a/src/mc/mc_visited.cpp b/src/mc/mc_visited.cpp
index fbdd510678..ee5d9ee4c4 100644
--- a/src/mc/mc_visited.cpp
+++ b/src/mc/mc_visited.cpp
@@ -10,7 +10,6 @@
 #include <memory>
 #include <algorithm>
 
-#include <xbt/automaton.h>
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 #include <xbt/dynar.h>