X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1f506aa6b83d5053316adbc9fc8f4c7bfc483442..c525d1ca2ffdf659518ed036854314e0900d378e:/src/mc/private.h

diff --git a/src/mc/private.h b/src/mc/private.h
index a35812ea2c..0ee74139ef 100644
--- a/src/mc/private.h
+++ b/src/mc/private.h
@@ -37,6 +37,7 @@ typedef struct s_mc_snapshot{
 
 void MC_take_snapshot(mc_snapshot_t);
 void MC_take_snapshot_liveness(mc_snapshot_t s, char *prgm);
+void MC_take_snapshot_to_restore_liveness(mc_snapshot_t s, char *prgm);
 void MC_restore_snapshot(mc_snapshot_t);
 void MC_free_snapshot(mc_snapshot_t);