]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/checker/CommunicationDeterminismChecker.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC dependency: do the easy test before the harder one
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp
index 0ae988ed4cb14a3263defe98e541b4002cd8bd32..5192439f62918cf926934f52f08d45afde4c5b85 100644 (file)
@@ -9,11 +9,6 @@
 #include "src/mc/mc_exit.hpp"
 #include "src/mc/mc_private.hpp"
 #include "src/mc/mc_request.hpp"
-#include "src/mc/mc_smx.hpp"
-
-#if HAVE_SMPI
-#include "smpi_request.hpp"
-#endif
 
 #include <cstdint>