model-checker : remove header of unused function

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

diff --git a/src/xbt/mmalloc/mmprivate.h b/src/xbt/mmalloc/mmprivate.h
index b68eb49..da1b01e 100644 (file)
--- a/src/xbt/mmalloc/mmprivate.h
+++ b/src/xbt/mmalloc/mmprivate.h
@@ -134,8 +134,8 @@ struct mstats
  */
 typedef struct {
   int type; /*  0: busy large block
-    >0: busy fragmented (fragments of size 2^type bytes)
-    <0: free block */
+                >0: busy fragmented (fragments of size 2^type bytes)
+                <0: free block */
   union {
     /* Heap information for a busy block.  */
     struct {
@@ -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 */