diff options
Diffstat (limited to 'gdb/python/py-micmd.c')
| -rw-r--r-- | gdb/python/py-micmd.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/python/py-micmd.c b/gdb/python/py-micmd.c index aab6c5c..54427d4 100644 --- a/gdb/python/py-micmd.c +++ b/gdb/python/py-micmd.c @@ -19,7 +19,6 @@ /* GDB/MI commands implemented in Python. */ -#include "defs.h" #include "python-internal.h" #include "arch-utils.h" #include "charset.h" |