X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d8303a57360023593881a8c45c37709b4941f431..7b4766bf670b8042a39700c3f27e61b82db3d6cd:/src/mc/Session.hpp?ds=sidebyside

diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp
index c895a34258..16294c87c4 100644
--- a/src/mc/Session.hpp
+++ b/src/mc/Session.hpp
@@ -6,9 +6,9 @@
 #ifndef SIMGRID_MC_SESSION_HPP
 #define SIMGRID_MC_SESSION_HPP
 
-#include "mc_pattern.hpp"
 #include "simgrid/forward.h"
 #include "src/mc/ModelChecker.hpp"
+#include "src/mc/api/ActorState.hpp"
 #include "src/mc/remote/RemotePtr.hpp"
 
 #include <functional>