X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ef83b403e228c79b1d613d6c52dff1418ab6b71c..0392e8f3a19e2f12d6f7dc881196572abb0213f8:/teshsuite/mc/mutex_handling.xml

diff --git a/teshsuite/mc/mutex_handling.xml b/teshsuite/mc/mutex_handling.xml
index 73e165aba6..57cbaea917 100644
--- a/teshsuite/mc/mutex_handling.xml
+++ b/teshsuite/mc/mutex_handling.xml
@@ -1,6 +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 -->
+<!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>