From 79a5552c4e41de77e291df5a0a30726a83bbee48 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Mon, 1 Dec 2014 13:17:59 +0100 Subject: [PATCH] [mc] Remove useless condition check --- src/mc/mc_global.c | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 1faf9276b4..4614ac9c77 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -190,10 +190,7 @@ void MC_init() MC_ignore_global_variable("communications_pattern"); MC_ignore_global_variable("initial_communications_pattern"); MC_ignore_global_variable("incomplete_communications_pattern"); - - if (MC_is_active()) { - MC_ignore_global_variable("mc_diff_info"); - } + MC_ignore_global_variable("mc_diff_info"); MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double)); -- 2.20.1