[simix] Use std::function for the maestro callback instead of void(void*)

[simgrid.git] / src / mc / mc_object_info.h

diff --git a/src/mc/mc_object_info.h b/src/mc/mc_object_info.h
index 840d3e1ab6775b43aa4927019fbbd5ec8317787b..da93084f24c353b91c6d0180d961485666e0efe7 100644 (file)
--- a/src/mc/mc_object_info.h
+++ b/src/mc/mc_object_info.h
@@ -12,8 +12,8 @@
 
 #include <xbt/base.h>
 
-#include "mc_forward.hpp"
-#include "../xbt/memory_map.hpp"
+#include "src/mc/mc_forward.hpp"
+#include "src/xbt/memory_map.hpp"
 
 XBT_PRIVATE std::shared_ptr<simgrid::mc::ObjectInformation> MC_find_object_info(
   std::vector<simgrid::xbt::VmMap> const& maps, const char* name);