X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a4d819602895c5e1fe306dfc0953cc7cfb54a871..fabf70a9d566725d01d925f83fae02ab82a95547:/src/mc/checker/CommunicationDeterminismChecker.cpp

diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp
index f066b6f0df..dde414e196 100644
--- a/src/mc/checker/CommunicationDeterminismChecker.cpp
+++ b/src/mc/checker/CommunicationDeterminismChecker.cpp
@@ -22,6 +22,8 @@
 #include "src/mc/mc_state.h"
 #include "src/mc/remote/Client.hpp"
 
+#include "src/smpi/smpi_request.hpp"
+
 using simgrid::mc::remote;
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_comm_determinism, mc,