X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a941e1f7d2bca6b2e3ef7f83b954d26f990cd9a6..d914066d20ef91426078da993bcc0420041e6e28:/examples/msg/mc/promela2_bugged2_liveness

diff --git a/examples/msg/mc/promela2_bugged2_liveness b/examples/msg/mc/promela2_bugged2_liveness
index 880cfeaf1f..1b4359d9f6 100644
--- a/examples/msg/mc/promela2_bugged2_liveness
+++ b/examples/msg/mc/promela2_bugged2_liveness
@@ -1,4 +1,4 @@
-never { /* !(G((pready U produce) -> Fconsume)) */
+never { /* !(G((pready U produce) -> F(cready U consume))) */
 T1_init :    /* init */
 	if
 	:: (1) -> goto T1_init