From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 30 May 2012 10:04:22 +0000 (+0200)
Subject: model-checker : remove unused variable CS_PER_PROCESS
X-Git-Tag: v3_8~661
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9b592c9f93e213394b8acbc2a892e81066e68c23?ds=sidebyside

model-checker : remove unused variable CS_PER_PROCESS
---

diff --git a/examples/msg/mc/centralized_liveness.c b/examples/msg/mc/centralized_liveness.c
index 350c59bb85..d34bbdb5df 100644
--- a/examples/msg/mc/centralized_liveness.c
+++ b/examples/msg/mc/centralized_liveness.c
@@ -6,7 +6,6 @@
 #include "y.tab.c"
 
 #define AMOUNT_OF_CLIENTS 2
-#define CS_PER_PROCESS 1
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(centralized, "my log messages");