Rename directory.

[simgrid.git] / examples / msg / small_platform_with_failures.xml

diff --git a/examples/msg/small_platform_with_failures.xml b/examples/msg/small_platform_with_failures.xml
index 5bb407b..287eaf9 100644 (file)
--- a/examples/msg/small_platform_with_failures.xml
+++ b/examples/msg/small_platform_with_failures.xml
@@ -1,10 +1,10 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform_description SYSTEM "surfxml.dtd">
-<platform_description version="2">
+<!DOCTYPE platform SYSTEM "simgrid.dtd">
+<platform version="2">
   <!-- ljlkj -->
   <host id="Tremblay" power="98095000"/>
   <host id="Jupiter" power="76296000" state_file="jupiter_state.trace"/>
-  <host id="Fafard" power="76296000"/>
+  <host id="Fafard" power="76296000" state_file="fafard_state.trace"/>
   <host id="Ginette" power="48492000"/>
   <host id="Bourassa" power="48492000"/>
   <link id="6" bandwidth="41279125" latency="5.9904e-05"/>
@@ -87,4 +87,4 @@
   <route src="Bourassa" dst="Ginette">
     <link:ctn id="7"/><link:ctn id="6"/><link:ctn id="1"/><link:ctn id="0"/><link:ctn id="2"/><link:ctn id="5"/>
   </route>
-</platform_description>
+</platform>