* under the terms of the license (GNU LGPL) which comes with this package. */
#include "instr/instr_private.h"
+#include "msg_private.h"
+#include "msg/datatypes.h"
#include "mc/mc.h"
+
#ifdef HAVE_TRACING
XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_msg, instr, "MSG");