model-checker : example bugged2_liveness modified

[simgrid.git] / examples / msg / mc / deploy_bugged2_liveness.xml

diff --git a/examples/msg/mc/deploy_bugged2_liveness.xml b/examples/msg/mc/deploy_bugged2_liveness.xml
index f49fb10..3aa65c1 100644 (file)
--- a/examples/msg/mc/deploy_bugged2_liveness.xml
+++ b/examples/msg/mc/deploy_bugged2_liveness.xml
@@ -6,11 +6,11 @@
 
   <process host="Tremblay" function="coordinator" />
 
-  <process host="Fafard" function="consumer" >
+  <process host="Fafard" function="producer" >
     <argument value="1"/>
   </process>
 
-  <process host="Boivin" function="producer" >
+  <process host="Boivin" function="consumer" >
     <argument value="2"/>
   </process>