From e0d2a83fa6291caa10b760ebe30b915c12ff6596 Mon Sep 17 00:00:00 2001
From: amrzar <azarrabi@nicta.com.au>
Date: Mon, 17 Oct 2016 13:02:51 +1100
Subject: [PATCH] update xml format to replace config with condition

---
 libsel4/tools/sel4_idl.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsel4/tools/sel4_idl.dtd b/libsel4/tools/sel4_idl.dtd
index b54ef71e9..01d731215 100644
--- a/libsel4/tools/sel4_idl.dtd
+++ b/libsel4/tools/sel4_idl.dtd
@@ -22,7 +22,7 @@
 <!ELEMENT method (param*)>
 <!ATTLIST method name CDATA #REQUIRED>
 <!ATTLIST method id CDATA #REQUIRED>
-<!ATTLIST method config CDATA #IMPLIED>
+<!ATTLIST method condition CDATA #IMPLIED>
 
 <!ELEMENT param EMPTY>
 <!ATTLIST param type CDATA #REQUIRED>