model-checker : need to switch between raw heap and std heap to remove ignore region

[simgrid.git] / include / xbt / mmalloc.h

diff --git a/include/xbt/mmalloc.h b/include/xbt/mmalloc.h
index 038b5d3..c259bf6 100644 (file)
--- a/include/xbt/mmalloc.h
+++ b/include/xbt/mmalloc.h
@@ -75,8 +75,4 @@ int is_free_area(void *area, xbt_mheap_t heap);
 
 size_t mmalloc_get_chunks_used(xbt_mheap_t);
 
-void remove_ignore_heap(void *address, size_t size);
-
-
-
 #endif                          /* MMALLOC_H */