From 89a8ddc975b0e3ecd348d5a9a9b9d3de8b579b2b Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 14 Apr 2016 15:44:47 +0200
Subject: [PATCH] [mc] Remove unused declarations

---
 src/mc/mc_global.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 56fbbb3cb8..8cd7f9f7a5 100644
--- 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 {
-- 
2.20.1