also display the kind of a task if known from SD_task_dump()

[simgrid.git] / src / surf / simgrid.dtd

diff --git a/src/surf/simgrid.dtd b/src/surf/simgrid.dtd
index dfd9943..438f3b3 100644 (file)
--- a/src/surf/simgrid.dtd
+++ b/src/surf/simgrid.dtd
@@ -11,6 +11,7 @@
 <!ATTLIST trace id CDATA #REQUIRED>
 <!ATTLIST trace file CDATA "">
 <!ATTLIST trace periodicity CDATA #REQUIRED>
+<!ATTLIST trace timestep CDATA "10.0">
 
 <!ELEMENT random (prop*)>
 <!ATTLIST random id CDATA #REQUIRED>