From 8bab3731a3593853580f80b6ef2385e249f3af9b Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 15 Mar 2012 13:44:57 +0100 Subject: [PATCH] model-checker : change log category name --- examples/msg/mc/bugged1_liveness.c | 2 +- examples/msg/mc/bugged2_liveness.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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; -- 2.20.1