X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/004dc1d6a53f5ded31becbdc1bee43805359d8c6..6d8693000fed2c1603be15a9ff86d1965c2c61a9:/src/mc/mc_compare.c

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 0604d0ef22..2174d45bc9 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -617,6 +617,8 @@ 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");
 
   return simcall_mc_compare_snapshots(s1, s2);