Fix #includes to automaton.h

diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c
index 0494521..949020b 100644 (file)
--- 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 "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");
 #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 da785bb..b82e3ac 100644 (file)
--- 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 "simgrid/msg.h"
 #include "mc/mc.h"

-#include "xbt/automaton.h"

 #include "bugged2_liveness.h"
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(bugged3, "my log messages");
 #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 a401b7a..0579ca6 100644 (file)
--- 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 <simgrid_config.h> /* HAVE_MC ? */
 
 #include <xbt/base.h>

-#include <xbt/automaton.h>

 
 SG_BEGIN_DECL()
 
 
 SG_BEGIN_DECL()
 

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 28c1533..c3ea760 100644 (file)
--- 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/fifo.h>
 #include <xbt/config.h>
 #include <xbt/base.h>

+#include <xbt/automaton.h>

 
 #include "mc/mc.h"
 #include "mc/datatypes.h"
 
 #include "mc/mc.h"
 #include "mc/datatypes.h"

diff --git a/src/mc/mc_visited.cpp b/src/mc/mc_visited.cpp
index fbdd510..ee5d9ee 100644 (file)
--- a/src/mc/mc_visited.cpp
+++ b/src/mc/mc_visited.cpp
@@ -10,7 +10,6 @@
 #include <memory>
 #include <algorithm>
 
 #include <memory>
 #include <algorithm>
 

-#include <xbt/automaton.h>

 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 #include <xbt/dynar.h>
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 #include <xbt/dynar.h>