model-checker : comment erroneous ignore (not completely sure ...)

[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..b932a9c 100644 (file)
--- a/examples/msg/mc/deploy_bugged2_liveness.xml
+++ b/examples/msg/mc/deploy_bugged2_liveness.xml
@@ -6,13 +6,12 @@
 
   <process host="Tremblay" function="coordinator" />
 
-  <process host="Fafard" function="consumer" >
+  <process host="Fafard" function="client" >
     <argument value="1"/>
   </process>
 
-  <process host="Boivin" function="producer" >
+  <process host="Boivin" function="client" >
     <argument value="2"/>
   </process>
 
-
 </platform>