From 9b592c9f93e213394b8acbc2a892e81066e68c23 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 30 May 2012 12:04:22 +0200 Subject: [PATCH] model-checker : remove unused variable CS_PER_PROCESS --- examples/msg/mc/centralized_liveness.c | 1 - 1 file changed, 1 deletion(-) 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"); -- 2.20.1