From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 5 May 2015 13:38:33 +0000 (+0200)
Subject: [mc] Remove useless variable
X-Git-Tag: v3_12~732^2~11
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5bd5ce1bb9c20fd24ae5cd730d717cf1426ce613?hp=ac151e89b9b3cad0074cd85f01334a3404132082;ds=sidebyside

[mc] Remove useless variable
---

diff --git a/src/mc/simgrid_mc.cpp b/src/mc/simgrid_mc.cpp
index 2b1f204d13..6ffb402179 100644
--- a/src/mc/simgrid_mc.cpp
+++ b/src/mc/simgrid_mc.cpp
@@ -35,8 +35,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_main, mc, "Entry point for simgrid-mc");
 
-static const bool trace = true;
-
 static int do_child(int socket, char** argv)
 {
   XBT_DEBUG("Inside the child process PID=%i", (int) getpid());