From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 10 Jul 2012 13:50:29 +0000 (+0200)
Subject: model-checker : heapinfo address in parameter of malloc_backtrace_display functions... 
X-Git-Tag: v3_8~289
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/671ea9864835a875e090f4e1b74d8ca8b0ed9403?hp=73e6287bc3e653e0fc2e0609532fcb15323de1c3

model-checker : heapinfo address in parameter of malloc_backtrace_display functions instead of heap address
---

diff --git a/include/xbt/mmalloc.h b/include/xbt/mmalloc.h
index 3108a4fd26..3b71d7752a 100644
--- a/include/xbt/mmalloc.h
+++ b/include/xbt/mmalloc.h
@@ -58,9 +58,9 @@ xbt_mheap_t mmalloc_get_current_heap(void);
 
 int mmalloc_compare_heap(xbt_mheap_t mdp1, xbt_mheap_t mdp2);
 
-void mmalloc_backtrace_block_display(xbt_mheap_t mdp, size_t block);
+void mmalloc_backtrace_block_display(void *heapinfo, size_t block);
 
-void mmalloc_backtrace_fragment_display(xbt_mheap_t mdp, size_t block, size_t frag);
+void mmalloc_backtrace_fragment_display(void *heapinfo, size_t block, size_t frag);