From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 13 Apr 2016 11:53:26 +0000 (+0200)
Subject: Remove useless #includes
X-Git-Tag: v3_13~97^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b262718d34bc5f32c5c5bb84607ab563059291bb

Remove useless #includes
---

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 8a0418f25f..d3fdc26e0a 100644
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -6,7 +6,6 @@
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
-#include <xbt/automaton.h>
 #include <simgrid/modelchecker.h>
 
 #include "src/mc/mc_record.h"
diff --git a/src/xbt/xbt_str.c b/src/xbt/xbt_str.c
index 4f6ac2aeed..7cb36fe573 100644
--- a/src/xbt/xbt_str.c
+++ b/src/xbt/xbt_str.c
@@ -11,7 +11,6 @@
 #include "xbt/sysdep.h"
 #include "xbt/str.h"            /* headers of these functions */
 #include "xbt/strbuff.h"
-#include "xbt/matrix.h"         /* for the diff */
 
 /**  @brief Strip whitespace (or other characters) from the end of a string.
  *