Merge branch 'master' of github.com:mquinson/simgrid

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

diff --git a/src/mc/mc_smx.h b/src/mc/mc_smx.h
index d94c414..3ca4e5d 100644 (file)
--- a/src/mc/mc_smx.h
+++ b/src/mc/mc_smx.h
@@ -9,13 +9,16 @@
 
 #include <stddef.h>
 
+#include <xbt/base.h>
+#include <xbt/dynar.h>
 #include <xbt/log.h>
+
 #include <simgrid/simix.h>
 
 #include "src/smpi/private.h"
 
 #include "src/mc/Process.hpp"
-#include "mc_protocol.h"
+#include "src/mc/mc_protocol.h"
 
 /** @file
  *  @brief (Cross-process, MCer/MCed) Access to SMX structures
@@ -84,8 +87,6 @@ XBT_PRIVATE const char* MC_smx_process_get_host_name(smx_process_t p);
     } \
   }
 
-/** Execute a given simcall */
-XBT_PRIVATE void MC_simcall_handle(smx_simcall_t req, int value);
 
 XBT_PRIVATE int MC_smpi_process_count(void);