From 5a9890278b3979b5a30d1055fb3aaf9b56068720 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 1 Jul 2017 10:27:46 +0200 Subject: [PATCH] only take the public part of MC within the mallocators I'm trying to not load simix.h from C code anymore, to ease the work on ActivityImpl. --- src/xbt/mallocator.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/xbt/mallocator.c b/src/xbt/mallocator.c index 408e115d7c..fa9f5828e8 100644 --- a/src/xbt/mallocator.c +++ b/src/xbt/mallocator.c @@ -6,12 +6,12 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include "src/internal_config.h" #include "xbt/mallocator.h" +#include "mallocator_private.h" +#include "simgrid/modelchecker.h" /* kill mallocators when model-checking is enabled */ +#include "src/internal_config.h" #include "xbt/asserts.h" #include "xbt/sysdep.h" -#include "mc/mc.h" /* kill mallocators when model-checking is enabled */ -#include "mallocator_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_mallocator, xbt, "Mallocators"); -- 2.20.1