model-checker : cleanups in tesh examples

[simgrid.git] / teshsuite / msg / get_sender_p.xml

diff --git a/teshsuite/msg/get_sender_p.xml b/teshsuite/msg/get_sender_p.xml
index cbe1c21..90ab287 100644 (file)
--- a/teshsuite/msg/get_sender_p.xml
+++ b/teshsuite/msg/get_sender_p.xml
@@ -1,8 +1,8 @@
 <?xml version='1.0'?>
- <!DOCTYPE platform SYSTEM "simgrid.dtd">
+ <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
  <platform version="3">
  <AS  id="AS0"  routing="Full">
-   
+
    <host id="toto" power="1000000"/>
    <link id="lb" bandwidth="100000000" latency="0.000000"/>
    <route src="toto" dst="toto"><link_ctn id="lb"/></route>