a few more cosmetics

[simgrid.git] / teshsuite / mc / mutex_handling.xml

diff --git a/teshsuite/mc/mutex_handling.xml b/teshsuite/mc/mutex_handling.xml
index 73e165a..7f60f93 100644 (file)
--- a/teshsuite/mc/mutex_handling.xml
+++ b/teshsuite/mc/mutex_handling.xml
@@ -1,9 +1,9 @@
 <?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 -->
-
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
+  <!-- For using with ping_pong, platform_sendrecv.xml -->
   <!-- receiver my_name -->
-  <process host="Disney" function="receiver"></process>
+  <process host="Disney" function="receiver"/>
 
   <!-- sender my_name receiver_name other_sender_name -->
   <process host="Jill" function="sender">
@@ -12,5 +12,4 @@
   <process host="UNIX" function="sender">
     <argument value="Y"/>
   </process>
-
 </platform>