From b262718d34bc5f32c5c5bb84607ab563059291bb Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 13 Apr 2016 13:53:26 +0200
Subject: [PATCH] Remove useless #includes

---
 src/mc/mc_client_api.cpp | 1 -
 src/xbt/xbt_str.c        | 1 -
 2 files changed, 2 deletions(-)

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