model-checker : update SMPI bugged mutual exclusion example

[simgrid.git] / examples / msg / masterslave / deployment_masterslave_forwarder.xml

diff --git a/examples/msg/masterslave/deployment_masterslave_forwarder.xml b/examples/msg/masterslave/deployment_masterslave_forwarder.xml
index adf3c4b1bafaed83795990c1c655cd2fb2c7d699..14236998e22b6f728a5b1277dd9daac96fa99915 100644 (file)
--- a/examples/msg/masterslave/deployment_masterslave_forwarder.xml
+++ b/examples/msg/masterslave/deployment_masterslave_forwarder.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "simgrid.dtd">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <platform version="3">
   <process host="Jacquelin" function="master">
      <argument value="20"/>       <!-- Number of tasks -->