From 0e9f97aeb3a3b0843cf7429cb586e4149636918e Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 4 Apr 2016 10:11:53 +0200
Subject: [PATCH] Fix #includes to automaton.h

---
 examples/msg/mc/bugged1_liveness.c | 1 -
 examples/msg/mc/bugged2_liveness.c | 1 -
 include/simgrid/modelchecker.h     | 1 -
 src/mc/mc_private.h                | 1 +
 src/mc/mc_visited.cpp              | 1 -
 5 files changed, 1 insertion(+), 4 deletions(-)

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>
-- 
2.20.1