From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 15 Mar 2012 12:44:57 +0000 (+0100)
Subject: model-checker : change log category name
X-Git-Tag: v3_7~65^2~12
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8bab3731a3593853580f80b6ef2385e249f3af9b

model-checker : change log category name
---

diff --git a/examples/msg/mc/bugged1_liveness.c b/examples/msg/mc/bugged1_liveness.c
index 3d051c9a4e..eaeceb4c2b 100644
--- a/examples/msg/mc/bugged1_liveness.c
+++ b/examples/msg/mc/bugged1_liveness.c
@@ -14,7 +14,7 @@
 #define AMOUNT_OF_CLIENTS 2
 #define CS_PER_PROCESS 1
 
-XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");
+XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
 
 
 int r=0; 
diff --git a/examples/msg/mc/bugged2_liveness.c b/examples/msg/mc/bugged2_liveness.c
index 984299966a..47fa7e616d 100644
--- a/examples/msg/mc/bugged2_liveness.c
+++ b/examples/msg/mc/bugged2_liveness.c
@@ -11,7 +11,7 @@
 #include "bugged2_liveness.h"
 #include "y.tab.c"
 
-XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");
+XBT_LOG_NEW_DEFAULT_CATEGORY(bugged2_liveness, "my log messages");
 
 char* buffer;