X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/089b3e8c3cb4e8e742c1ca42a79293ca6aab748a..c7e058ac1143ed684438971ac1e1859ee22e16f1:/src/mc/mc_process.cpp?ds=sidebyside

diff --git a/src/mc/mc_process.cpp b/src/mc/mc_process.cpp
index c0da9ea6ee..de73e05729 100644
--- a/src/mc/mc_process.cpp
+++ b/src/mc/mc_process.cpp
@@ -48,6 +48,7 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_process, mc,
 
 static const char *const FILTERED_LIBS[] = {
   "libstdc++",
+  "libboost_context",
   "libc++",
   "libm",
   "libgcc_s",
@@ -253,7 +254,8 @@ Process::~Process()
 
   size_t i;
   for (i=0; i!=process->object_infos_size; ++i) {
-    MC_free_object_info(&process->object_infos[i]);
+    delete process->object_infos[i];
+    process->object_infos[i] = nullptr;
   }
   free(process->object_infos);
   process->object_infos = NULL;