From 937375b4f9ce4ab483bd28af3e887a7a1655bcc3 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 10 Jul 2012 15:51:35 +0200 Subject: [PATCH 1/1] model-checker : remove header of unused function --- src/xbt/mmalloc/mmprivate.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h index ccc667dc8f..da1b01e07e 100644 --- a/src/xbt/mmalloc/mmprivate.h +++ b/src/xbt/mmalloc/mmprivate.h @@ -240,8 +240,6 @@ struct mdesc { int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2); -void mmalloc_display_info(void *h); - //void *get_end_addr_heap(void *s_heap); /* Bits to look at in the malloc descriptor flags word */ -- 2.20.1