Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
clang-format broke my commit
[simgrid.git] / src / mc / checker / CommunicationDeterminismChecker.cpp
index 741e7ad..6c93733 100644 (file)
@@ -13,7 +13,6 @@
 #include "src/mc/Transition.hpp"
 #include "src/mc/VisitedState.hpp"
 #include "src/mc/checker/CommunicationDeterminismChecker.hpp"
-#include "src/mc/mc_comm_pattern.h"
 #include "src/mc/mc_exit.h"
 #include "src/mc/mc_private.h"
 #include "src/mc/mc_record.h"