X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fd0c81491963b25dab20bce41bdc3a66b5a936d6..184f7cbedd7496fb81e192e78f7beae87f942ee5:/src/mc/mc_private.h diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 90a0e39233..449356123a 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -253,7 +253,7 @@ int reached(xbt_state_t st); void set_pair_reached(xbt_state_t st); int reached_hash(xbt_state_t st); void set_pair_reached_hash(xbt_state_t st); -int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2, void* s_heap, void* r_heap); +int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2, void* s_heap); int data_program_region_compare(void *d1, void *d2, size_t size); int data_libsimgrid_region_compare(void *d1, void *d2, size_t size); void MC_pair_delete(mc_pair_t pair);