model-checker : new examples (with tesh) for verification of liveness properties...

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

diff --git a/examples/msg/link5_state.trace b/examples/msg/link5_state.trace
index ac7300a..9fd9d22 100644 (file)
--- a/examples/msg/link5_state.trace
+++ b/examples/msg/link5_state.trace
@@ -1,3 +1,2 @@
-0 1
 30 0
 35 1