diff options
Diffstat (limited to 'gdb/features/traceframe-info.dtd')
| -rw-r--r-- | gdb/features/traceframe-info.dtd | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdb/features/traceframe-info.dtd b/gdb/features/traceframe-info.dtd index 0da2bec..b811122 100644 --- a/gdb/features/traceframe-info.dtd +++ b/gdb/features/traceframe-info.dtd @@ -5,9 +5,12 @@ 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> |