default value of start_time = -1.0. It enables to make the difference between at...

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

diff --git a/src/surf/surfxml.dtd b/src/surf/surfxml.dtd
index 98d5643..7119fc0 100644 (file)
--- a/src/surf/surfxml.dtd
+++ b/src/surf/surfxml.dtd
@@ -39,6 +39,8 @@
 <!ELEMENT process (argument*)>
 <!ATTLIST process host CDATA #REQUIRED>
 <!ATTLIST process function CDATA #REQUIRED>
+<!ATTLIST process start_time CDATA "-1.0">
+<!ATTLIST process kill_time CDATA "-1.0">
 
 <!ELEMENT argument EMPTY>
 <!ATTLIST argument value CDATA #REQUIRED>