model-checker : update tesh file

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

diff --git a/examples/msg/ginette_state.trace b/examples/msg/ginette_state.trace
index 8df97dc295d2d8ddaa0bbe13ce3f18b8150f9969..e3fbe4028b3cbbfad36b65e8f10183988ad46085 100644 (file)
--- a/examples/msg/ginette_state.trace
+++ b/examples/msg/ginette_state.trace
@@ -1,3 +1,2 @@
-0 1
 50 0
 60 1