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

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

diff --git a/examples/msg/mc/automaton.h b/examples/msg/mc/automaton.h
index d1568c1..b5e1b9d 100644 (file)
--- a/examples/msg/mc/automaton.h
+++ b/examples/msg/mc/automaton.h
@@ -14,7 +14,6 @@ typedef struct xbt_state {
   int type; /* -1 = init, 0 = inter, 1 = final */
   xbt_dynar_t in;
   xbt_dynar_t out;
-  int visited;
 } s_xbt_state;
 
 typedef struct xbt_state* xbt_state_t;