]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/remote/mc_protocol.h
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first batch of tests for History class
[simgrid.git] / src / mc / remote / mc_protocol.h
index 156e3c71739f2a631b06541d971dfe9ec4210aed..8636b5c2d59be163216ced41c79ae9869dffc1b4 100644 (file)
 
 #include "src/kernel/actor/SimcallObserver.hpp"
 
-#include "mc/datatypes.h"
 #include "simgrid/forward.h" // aid_t
+#include "src/mc/datatypes.h"
+#include "src/xbt/mmalloc/mmalloc.h"
+#include <xbt/utility.hpp>
+
 #include <array>
 #include <cstdint>
-#include <xbt/dynar.h>
-#include <xbt/mmalloc.h>
-#include <xbt/utility.hpp>
 
 // ***** Messages
 namespace simgrid::mc {