[mc] No more global variables

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index fcf0ed3..97903b5 100644 (file)
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -33,8 +33,6 @@
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
                                 "Logging specific to algorithms for liveness properties verification");
 
-/********* Global variables *********/
-
 /********* Static functions *********/
 
 namespace simgrid {