X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bba28202d80db522aef1af8dd81c9b9e3e0d3049..40e0bf5686dc6da940c2dfe33c2e8b4824fefb8f:/src/kernel/activity/CommImpl.cpp diff --git a/src/kernel/activity/CommImpl.cpp b/src/kernel/activity/CommImpl.cpp index 8c2f838362..516c8fcb9c 100644 --- a/src/kernel/activity/CommImpl.cpp +++ b/src/kernel/activity/CommImpl.cpp @@ -5,8 +5,8 @@ #include "src/kernel/activity/CommImpl.hpp" #include "simgrid/kernel/resource/Action.hpp" - #include "simgrid/modelchecker.h" +#include "src/kernel/activity/MailboxImpl.hpp" #include "src/mc/mc_replay.hpp" #include "src/simix/smx_network_private.hpp" #include "src/surf/surf_interface.hpp"