#include <xbt/log.h>
#include <xbt/sysdep.h>
+#include <xbt/automaton.h>
#include <simgrid/modelchecker.h>
#include "src/mc/mc_record.h"
void MC_cut(void)
{
// FIXME, We want to do this in the model-checker:
- // user_max_depth_reached = 1;
xbt_die("MC_cut() not implemented");
}