model-checker : comment unused variable

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

diff --git a/src/xbt/mmalloc/mm.c b/src/xbt/mmalloc/mm.c
index c25f26d50e06aa9beb15eb2fca511dc11efbeaff..e435f7f0b959caf74ab4b772b788ac55ca9b2844 100644 (file)
--- a/src/xbt/mmalloc/mm.c
+++ b/src/xbt/mmalloc/mm.c
@@ -21,3 +21,4 @@
 #include "mmorecore.c"
 #include "mm_module.c"
 #include "mm_legacy.c"
+#include "mm_diff.c"