X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/51d131097a7c4ea252bb8c66851656c88c5083af..c5ad8ca1a68bbaa9152471c8d0eeb99d762f0d86:/src/mc/mc_checkpoint.c

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 0c801b4013..da376da567 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -39,7 +39,7 @@ static void MC_region_restore(mc_mem_region_t reg)
 	if (!memcmp(maps->regions[i].pathname, "[stack]", 7)){
 	  size_t diff = (char*)reg->start_addr - (char*)r.start_addr;
 	  void *segment = malloc(reg->size + diff);
-	  XBT_DEBUG("Size of segment : %lu", sizeof(segment));
+	  XBT_DEBUG("Size of segment : %zu", sizeof(segment));
 	  memcpy((char *)segment + diff, reg->data, reg->size);
 	  memcpy(r.start_addr, segment, sizeof(segment));
 	  XBT_DEBUG("Memcpy region ok");