[mc] Cross-process MC/safety implementation

[simgrid.git] / src / mc / mc_ignore.c

diff --git a/src/mc/mc_ignore.c b/src/mc/mc_ignore.c
index f213822..051a1f4 100644 (file)
--- a/src/mc/mc_ignore.c
+++ b/src/mc/mc_ignore.c
@@ -121,7 +121,6 @@ static void MC_heap_region_ignore_send(mc_heap_ignore_region_t region)
   message.region = *region;
   if (MC_protocol_send(mc_client->fd, &message, sizeof(message)))
     xbt_die("Could not send ignored region to MCer");
-  XBT_DEBUG("Sent ignored region to the model-checker");
 }
 
 // MCed: