#include <simgrid_config.h> /* HAVE_MC ? */
#include <xbt/base.h>
-#include <xbt/automaton.h>
SG_BEGIN_DECL()
XBT_PUBLIC(int) MC_random(int min, int max);
-#ifdef HAVE_MC
+#if HAVE_MC
/* Internal variable used to check if we're running under the MC
*