#include "simgrid/s4u/Engine.hpp"
#include "simgrid/s4u/Host.hpp"
-#include "instr/instr_interface.hpp"
#include "mc/mc.h"
+#include "src/instr/instr_private.hpp"
#include "src/msg/msg_private.hpp"
#include <xbt/config.hpp>
if (msg_global==nullptr)
return;
- TRACE_end();
delete msg_global;
msg_global = nullptr;
}