From 5bd5ce1bb9c20fd24ae5cd730d717cf1426ce613 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 5 May 2015 15:38:33 +0200 Subject: [PATCH 1/1] [mc] Remove useless variable --- src/mc/simgrid_mc.cpp | 2 -- 1 file changed, 2 deletions(-) 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()); -- 2.20.1