#include "simgrid/msg.h"
#include "mc/mc.h"
-#include "xbt/automaton.h"
#include "bugged1_liveness.h"
XBT_LOG_NEW_DEFAULT_CATEGORY(bugged1_liveness, "my log messages");
{
#ifdef GARBAGE_STACK
// At this point the stack of the callee (client) is probably filled with
- // zeros and unitialized variables will contain 0. This call will place
+ // zeros and uninitialized variables will contain 0. This call will place
// random byes in the stack of the callee:
garbage_stack();
#endif