X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/856220a486ce61eda51b8dfb7ff71f53af25b020..603c44e45e00a577bccb42cf398a924178f17768:/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()