plug a memleak

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

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 56fbbb3..8cd7f9f 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -60,10 +60,6 @@ std::vector<double> processes_time;
 
 #if HAVE_MC
 
-/* MC global data structures */
-simgrid::mc::State* mc_current_state = nullptr;
-char mc_replay_mode = false;
-
 /* Liveness */
 
 namespace simgrid {