Lastest cleanups in surf/ of Marc's jumbo commit

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

diff --git a/src/surf/surfxml.dtd b/src/surf/surfxml.dtd
index c023a7c..fd5d959 100644 (file)
--- a/src/surf/surfxml.dtd
+++ b/src/surf/surfxml.dtd
@@ -1,5 +1,5 @@
 <!-- Small DTD for SURF based tools. -->
-<!ELEMENT platform_description (include*|(host*,router*,link*,route*,process*))>
+<!ELEMENT platform_description ((include|host|router|link)*,(include|route|process)*)>
 <!ATTLIST platform_description version CDATA "0.0">
 
 <!ELEMENT include EMPTY>