[trace] update examples with the new API for setting task category

[simgrid.git] / examples / msg / mc / promela2_bugged2_liveness

diff --git a/examples/msg/mc/promela2_bugged2_liveness b/examples/msg/mc/promela2_bugged2_liveness
index 880cfeaf1f659c99759a6c68ee9730006f8bc263..1b4359d9f61d1d55157cc6fc74d8d0a94d6bf036 100644 (file)
--- 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