model-checker : update chord example for exhaustive exploration with MC

[simgrid.git] / examples / msg / link3_state.trace

diff --git a/examples/msg/link3_state.trace b/examples/msg/link3_state.trace
index f41d9c7..8cad9d0 100644 (file)
--- a/examples/msg/link3_state.trace
+++ b/examples/msg/link3_state.trace
@@ -1,4 +1,3 @@
-0 1
 13 0
 14 1
 20 0