X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cf9a823f1cfd8b0098a039bff8ff6567e9beac91..fe9ec44b78f1d4b5a89db951d025bb33d0cd73d1:/src/mc/mc_client.c?ds=sidebyside

diff --git a/src/mc/mc_client.c b/src/mc/mc_client.c
index 55cc2ca388..6a8d4eeb07 100644
--- a/src/mc/mc_client.c
+++ b/src/mc/mc_client.c
@@ -13,10 +13,16 @@
 
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
+#include <xbt/mmalloc.h>
 
 #include "mc_protocol.h"
 #include "mc_client.h"
 
+// We won't need those once the separation MCer/MCed is complete:
+#include "mc_mmalloc.h"
+#include "mc_ignore.h"
+#include "mc_model_checker.h"
+
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_client, mc, "MC client logic");
 
 mc_client_t mc_client;
@@ -56,6 +62,12 @@ void MC_client_hello(void)
   XBT_DEBUG("Greeted the MC server");
 }
 
+void MC_client_send_message(void* message, size_t size)
+{
+  if (MC_protocol_send(mc_client->fd, message, size))
+    xbt_die("Could not send message %i", (int) ((mc_message_t)message)->type);
+}
+
 void MC_client_handle_messages(void)
 {
   while (1) {