model-checker : use new variable _sg_mc_liveness instead of _sg_mc_property_file

[simgrid.git] / src / mc / mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 809f877..a3de319 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -249,8 +249,7 @@ void MC_init()
 
   MC_SET_STD_HEAP;
 
-  if (_sg_mc_visited > 0
-      || (_sg_mc_property_file && _sg_mc_property_file[0] != '\0')) {
+  if (_sg_mc_visited > 0 || _sg_mc_liveness) {
     /* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
     MC_ignore_local_variable("e", "*");
     MC_ignore_local_variable("__ex_cleanup", "*");