1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/ui.c b/gdb/ui.c
index 2a9bf51..80ee67d 100644
--- a/gdb/ui.c
+++ b/gdb/ui.c
@@ -15,7 +15,6 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
-#include "defs.h"
 #include "ui.h"
 
 #include "cli/cli-cmds.h"