From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sun, 18 Nov 2012 18:40:43 +0000 (+0100)
Subject: model-checker : use XBT_DEBUG instead of XBT_INFO
X-Git-Tag: v3_9_rc1~91^2~68
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/04c2f2d2a1d483120cef0e6110df53178c8bfe04?hp=1220a3e5916c35ba307f7a7eb48a2820bab961cd

model-checker : use XBT_DEBUG instead of XBT_INFO
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 97216765a5..5c90750813 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -502,9 +502,9 @@ void MC_ddfs_init(void){
 
   initial_state_liveness->raw_mem_set = (mmalloc_get_current_heap() == raw_heap);
 
-  XBT_INFO("**************************************************");
-  XBT_INFO("Double-DFS init");
-  XBT_INFO("**************************************************");
+  XBT_DEBUG("**************************************************");
+  XBT_DEBUG("Double-DFS init");
+  XBT_DEBUG("**************************************************");
 
   mc_pair_stateless_t mc_initial_pair = NULL;
   mc_state_t initial_graph_state = NULL;