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