X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4bd100c60f5ce9eb90336facb97e09e1db932ca4..e1648ed1227078a777534d9b24bb4a4970e6df01:/src/mc/mc_compare.c diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c index 873205dc7d..711fd83980 100644 --- a/src/mc/mc_compare.c +++ b/src/mc/mc_compare.c @@ -640,7 +640,6 @@ static int compare_stack(stack_region_t s1, stack_region_t s2, void *sp1, void * int MC_compare_snapshots(void *s1, void *s2){ MC_ignore_stack("self", "simcall_BODY_mc_snapshot"); - MC_ignore_stack("i", "simcall_BODY_mc_snapshot"); return simcall_mc_compare_snapshots(s1, s2);