Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / mc / mc_xbt.hpp

diff --git a/src/mc/mc_xbt.hpp b/src/mc/mc_xbt.hpp
index 4640bfff9eebf4621f838130c06655477045b2ef..cc23b1aca015801655e92f70124faa8a66114485 100644 (file)
--- a/src/mc/mc_xbt.hpp
+++ b/src/mc/mc_xbt.hpp
@@ -9,7 +9,7 @@
 
 #include <cstddef>
 
-#include <xbt/base.h>
+#include <xbt/dynar.h>
 
 #include "src/mc/remote_ptr.hpp"
 #include "src/mc/AddressSpace.hpp"