X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3cf8dfbfab4595b3e7ae85d3cd89ce9dbcdd7a24..1bdbe2db10271b1d1948e1ee0382abcfe622a991:/src/mc/mc_memory.cpp diff --git a/src/mc/mc_memory.cpp b/src/mc/mc_memory.cpp index 5a452f605c..1db534b1c4 100644 --- a/src/mc/mc_memory.cpp +++ b/src/mc/mc_memory.cpp @@ -12,11 +12,11 @@ #include "mc/mc.h" #include "src/mc/mc_private.h" -extern "C" { - XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory, mc, "Logging specific to MC (memory)"); +extern "C" { + /* Initialize the model-checker memory subsystem */ /* It creates the two heap regions: std_heap and mc_heap */ void MC_memory_init()