model-checker : check if a difference detected in stack comparison is a pointer on...

[simgrid.git] / src / xbt / mmalloc / mm.c

diff --git a/src/xbt/mmalloc/mm.c b/src/xbt/mmalloc/mm.c
index 4d3bbb819b3da0699e450837875da9ba25b9d5c5..e435f7f0b959caf74ab4b772b788ac55ca9b2844 100644 (file)
--- a/src/xbt/mmalloc/mm.c
+++ b/src/xbt/mmalloc/mm.c
@@ -15,12 +15,10 @@
 #ifdef HAVE_UNISTD_H
 #include <unistd.h>             /* Prototypes for lseek, sbrk (maybe) */
 #endif
-#include "mcalloc.c"
 #include "mfree.c"
 #include "mmalloc.c"
-#include "mmemalign.c"
 #include "mrealloc.c"
 #include "mmorecore.c"
-#include "attach.c"
-#include "detach.c"
+#include "mm_module.c"
 #include "mm_legacy.c"
+#include "mm_diff.c"