From fe70c01fed0ba05d51e769c415b79f43752c3d83 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sat, 22 Mar 2014 23:00:32 +0100 Subject: [PATCH 1/1] Don't include private header from public ones. --- include/xbt/mmalloc.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/include/xbt/mmalloc.h b/include/xbt/mmalloc.h index 4eda7fee02..4ec2238945 100644 --- a/include/xbt/mmalloc.h +++ b/include/xbt/mmalloc.h @@ -22,7 +22,6 @@ #include "xbt/dynar.h" #include "xbt/dict.h" -#include "mc/datatypes.h" /* Datatype representing a separate heap. The whole point of the mmalloc module * is to allow several such heaps in the process. It thus works by redefining @@ -62,6 +61,8 @@ xbt_mheap_t mmalloc_get_current_heap(void); struct s_mc_snapshot; +typedef struct s_dw_type *dw_type_t; + int mmalloc_compare_heap(struct s_mc_snapshot* snapshot1, struct s_mc_snapshot* snapshot2, xbt_mheap_t heap1, xbt_mheap_t heap2); int mmalloc_linear_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2); int init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t to_ignore1, xbt_dynar_t to_ignore2); -- 2.20.1