#ifndef MC_MC_H
#define MC_MC_H
+#include <simgrid/forward.h>
#include <simgrid/modelchecker.h> /* our public interface (and definition of SIMGRID_HAVE_MC) */
-#include <simgrid/simix.h>
/* Maximum size of the application heap.
*
SG_BEGIN_DECL()
-/********************************** Configuration of MC **************************************/
+/********************************** Configuration of MC **************************************/
extern XBT_PUBLIC(int) _sg_do_model_check;
extern XBT_PRIVATE int _sg_do_model_check_record;
extern XBT_PRIVATE int _sg_mc_checkpoint;
/********************************* Memory *************************************/
XBT_PUBLIC(void) MC_memory_init(); /* Initialize the memory subsystem */
-XBT_PUBLIC(void) MC_memory_exit();
-XBT_PUBLIC(void) MC_memory_init_server();
SG_END_DECL()