Merge branch 'coverity_scan' of github.com:mquinson/simgrid

[simgrid.git] / examples / msg / properties / deployment_properties.xml

diff --git a/examples/msg/properties/deployment_properties.xml b/examples/msg/properties/deployment_properties.xml
index 54e735b..6b86cf3 100644 (file)
--- a/examples/msg/properties/deployment_properties.xml
+++ b/examples/msg/properties/deployment_properties.xml
@@ -1,12 +1,8 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
-<platform version="3">
-
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
   <process host="host1" function="alice" />
-
-  <process host="host1" function="bob">
-    <prop id="SomeProp" value="SomeValue"/>
-  </process>
-  
+  <process host="host1" function="bob">       <prop id="SomeProp" value="SomeValue"/>   </process>
   <process host="host2" function="carole" />
+  <process host="host2" function="david" />
 </platform>