Merge commit '7937c47'

diff --git a/include/xbt/string.hpp b/include/xbt/string.hpp
index 86a0c98..738cf32 100644 (file)
--- a/include/xbt/string.hpp
+++ b/include/xbt/string.hpp
@@ -7,7 +7,6 @@
 #ifndef SIMGRID_XBT_STRING_HPP
 #define SIMGRID_XBT_STRING_HPP
 
-#include "src/internal_config.h"
 #if HAVE_MC
 
 #include <stdexcept>