Index: gdb/features/traceframe-info.dtd |
diff --git a/gdb/features/traceframe-info.dtd b/gdb/features/traceframe-info.dtd |
index 9ee4a1dd24276857f8d65015be99f2e947fb72c6..b8111223c1bdc6b21bb68cb94876b191efbccf21 100644 |
--- a/gdb/features/traceframe-info.dtd |
+++ b/gdb/features/traceframe-info.dtd |
@@ -1,13 +1,16 @@ |
-<!-- Copyright (C) 2010-2012 Free Software Foundation, Inc. |
+<!-- Copyright (C) 2010-2013 Free Software Foundation, Inc. |
Copying and distribution of this file, with or without modification, |
are permitted in any medium without royalty provided the copyright |
notice and this notice are preserved. --> |
<!-- traceframe-info: Root element with versioning --> |
-<!ELEMENT traceframe-info (memory)* > |
+<!ELEMENT traceframe-info (memory | tvar)* > |
<!ATTLIST traceframe-info version CDATA #FIXED "1.0"> |
<!ELEMENT memory EMPTY> |
<!ATTLIST memory start CDATA #REQUIRED |
length CDATA #REQUIRED> |
+ |
+<!ELEMENT tvar EMPTY> |
+<!ATTLIST tvar id CDATA #REQUIRED> |