model-checker : delete visited in struct xbt_state_t (unused)

[simgrid.git] / examples / msg / mc / automaton.c

diff --git a/examples/msg/mc/automaton.c b/examples/msg/mc/automaton.c
index f8bb337..76342fc 100644 (file)
--- a/examples/msg/mc/automaton.c
+++ b/examples/msg/mc/automaton.c
@@ -12,7 +12,6 @@ xbt_automaton_t xbt_automaton_new_automaton(){
 xbt_state_t xbt_automaton_new_state(xbt_automaton_t a, int type, char* id){
   xbt_state_t state = NULL;
   state = xbt_new0(struct xbt_state, 1);
-  state->visited = 0;
   state->type = type;
   state->id = strdup(id);
   state->in = xbt_dynar_new(sizeof(xbt_transition_t), NULL);