1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/skip.c b/gdb/skip.c
index 79db4c5..f2818ec 100644
--- a/gdb/skip.c
+++ b/gdb/skip.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 "skip.h"
 #include "value.h"
 #include "valprint.h"