--- a/abbrev.stc Sun Oct 07 08:31:38 2018 +0100
+++ b/abbrev.stc Thu Oct 11 09:55:43 2018 +0200
@@ -18,6 +18,8 @@
GDBMAPropertyAccessor GDBMAPropertyAccessor jv:libgdbs 'GDB-Support' 0
GDBMIPrinter GDBMIPrinter jv:libgdbs 'GDB-Private' 0
GDBMITrace GDBMITrace jv:libgdbs 'GDB-Private-MI Trace' 0
+GDBMITraceCommandRecord GDBMITraceCommandRecord jv:libgdbs 'GDB-Private-MI Trace' 0
+GDBMITraceResponseRecord GDBMITraceResponseRecord jv:libgdbs 'GDB-Private-MI Trace' 0
GDBObject GDBObject jv:libgdbs 'GDB-Core' 0
GDBOutputFormat GDBOutputFormat jv:libgdbs 'GDB-Private' 0
GDBOutputFormats GDBOutputFormats jv:libgdbs 'GDB-Core' 0