* under the terms of the license (GNU LGPL) which comes with this package. */
#include <xbt/log.h>
-#include <xbt/fifo.h>
#include <xbt/sysdep.h>
#include <simgrid/modelchecker.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");
}