From 9e770f32ff97364ed971f3d019bb200fce043169 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 7 Oct 2014 20:47:41 +0200 Subject: [PATCH 1/1] missing call to XBT_LOG_CONNECT --- src/xbt/log.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/xbt/log.c b/src/xbt/log.c index 80394daf24..ce695aac07 100644 --- a/src/xbt/log.c +++ b/src/xbt/log.c @@ -638,6 +638,7 @@ static void xbt_log_connect_categories(void) XBT_LOG_CONNECT(mc_liveness); XBT_LOG_CONNECT(mc_memory); XBT_LOG_CONNECT(mc_memory_map); + XBT_LOG_CONNECT(mc_page_snapshot); XBT_LOG_CONNECT(mc_request); XBT_LOG_CONNECT(mc_safety); XBT_LOG_CONNECT(mc_visited); -- 2.20.1