model-checker : get std_heap with mmalloc_get_current_heap instead of function argument

[simgrid.git] / src / xbt / mmalloc / mmprivate.h

diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h
index f322b11..1e2d6aa 100644 (file)
--- a/src/xbt/mmalloc/mmprivate.h
+++ b/src/xbt/mmalloc/mmprivate.h
@@ -224,11 +224,11 @@ struct mdesc {
 
 };
 
-int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2, void* s_heap, void* r_heap);
+int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2);
 
 void mmalloc_display_info(void *h);
 
-const char* get_addr_memory_map(void *addr, void* s_heap, void* r_heap);
+void *get_end_addr_heap(void *s_heap);
 
 /* Bits to look at in the malloc descriptor flags word */