X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2568ec7bdc945fa4beebf200756910f8b5b7903a..bc886906b9a15893564fa127a8933f0a50e40de6:/teshsuite/mc/mutex_handling.xml

diff --git a/teshsuite/mc/mutex_handling.xml b/teshsuite/mc/mutex_handling.xml
index 73e165aba6..e65634823b 100644
--- a/teshsuite/mc/mutex_handling.xml
+++ b/teshsuite/mc/mutex_handling.xml
@@ -1,16 +1,7 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-<platform version="3"><!-- For using with ping_pong, platform_sendrecv.xml -->
-
-  <!-- receiver my_name -->
-  <process host="Disney" function="receiver"></process>
-
-  <!-- sender my_name receiver_name other_sender_name -->
-  <process host="Jill" function="sender">
-    <argument value="X"/>
-  </process>
-  <process host="UNIX" function="sender">
-    <argument value="Y"/>
-  </process>
-
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
+  <process host="Disney" function="receiver"/>
+  <process host="Jill" function="sender">   <argument value="X"/>  </process>
+  <process host="UNIX" function="sender">   <argument value="Y"/>  </process>
 </platform>