move some content to the SynchroRaw dtor

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

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 8cd7f9f..92d6e70 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -48,8 +48,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc, "Logging specific to MC (global)");
 
-e_mc_mode_t mc_mode;
-
 namespace simgrid {
 namespace mc {
 
@@ -74,7 +72,7 @@ xbt_automaton_t property_automaton = nullptr;
 FILE *dot_output = nullptr;
 
 
-/*******************************  Initialisation of MC *******************************/
+/*******************************  Initialization of MC *******************************/
 /*********************************************************************************/
 
 void MC_init_dot_output()
@@ -139,7 +137,7 @@ void dumpStack(FILE* file, unw_cursor_t cursor)
 
     int status;
 
-    // Demangle C++ names:
+    // Unmangle C++ names:
     char* realname = abi::__cxa_demangle(name, 0, 0, &status);
 
 #if defined(__x86_64__)