model-checker : restore while statement for bugged1_liveness example

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

diff --git a/examples/msg/jupiter_state.trace b/examples/msg/jupiter_state.trace
index bd24c43..ef3bd0f 100644 (file)
--- a/examples/msg/jupiter_state.trace
+++ b/examples/msg/jupiter_state.trace
@@ -1,3 +1,2 @@
-0 1
-1.1 0
+1.0 0
 2 1