#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.
*
/********************************* 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()