From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 21 Jun 2012 12:40:04 +0000 (+0200)
Subject: model-checker : fix debug message
X-Git-Tag: v3_8~528^2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3d89ac9e77a94688b909a2d668d3de7b439e4983?hp=6d010dd45225674442648cd45f20f835f3d9742e

model-checker : fix debug message
---

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index a15b0a3ce4..dd0aba395d 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -194,7 +194,7 @@ void MC_dpor(void)
               }
               MC_restore_snapshot(restore_state->system_state);
               xbt_fifo_unshift(mc_stack_safety, state);
-              XBT_DEBUG("Back-tracking to depth %d", pos);
+              XBT_DEBUG("Back-tracking to depth %d", xbt_fifo_size(mc_stack_safety));
               MC_UNSET_RAW_MEM;
               MC_replay(mc_stack_safety, pos);
             }