Remove useless #includes

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 8a0418f..d3fdc26 100644 (file)
--- 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/log.h>
 #include <xbt/sysdep.h>

-#include <xbt/automaton.h>

 #include <simgrid/modelchecker.h>
 
 #include "src/mc/mc_record.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 4f6ac2a..7cb36fe 100644 (file)
--- 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/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.
  *
 
 /**  @brief Strip whitespace (or other characters) from the end of a string.
  *