model-checker : restore independence between iSend/iRecv and Wait requests

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

diff --git a/examples/msg/bourassa_state.trace b/examples/msg/bourassa_state.trace
index acab9a9..886ba9c 100644 (file)
--- a/examples/msg/bourassa_state.trace
+++ b/examples/msg/bourassa_state.trace
@@ -1,3 +1,2 @@
-0 1
 67 0
 70 1