X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5d3371b450c02d427a69462ca166772385117791..674e42f3c2fb237a6e690a939a909a32e6cebc98:/src/mc/private.h

diff --git a/src/mc/private.h b/src/mc/private.h
index 17400d2d63..89e78929c6 100644
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -48,7 +48,7 @@ extern double *mc_time;
 
 int MC_deadlock_check(void);
 void MC_replay(xbt_fifo_t stack);
-void MC_replay_liveness(xbt_fifo_t stack);
+void MC_replay_liveness(xbt_fifo_t stack, int all_stack);
 void MC_wait_for_requests(void);
 void MC_get_enabled_processes();
 void MC_show_deadlock(smx_req_t req);