model-checker : fix debug message

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index a15b0a3..dd0aba3 100644 (file)
--- 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);
               }
               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);
             }
               MC_UNSET_RAW_MEM;
               MC_replay(mc_stack_safety, pos);
             }