diff options
Diffstat (limited to 'gdb/python/py-tui.c')
| -rw-r--r-- | gdb/python/py-tui.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/python/py-tui.c b/gdb/python/py-tui.c index 089f4f8..5dcec4b 100644 --- a/gdb/python/py-tui.c +++ b/gdb/python/py-tui.c @@ -18,7 +18,6 @@ along with this program. If not, see <http://www.gnu.org/licenses/>. */ -#include "defs.h" #include "arch-utils.h" #include "python-internal.h" #include "gdbsupport/intrusive_list.h" |