From 01727885d1a1522e9fea31d587bcb4df36659cb5 Mon Sep 17 00:00:00 2001 From: Florian Krohm Date: Mon, 11 Aug 2014 14:39:28 +0000 Subject: [PATCH] Remove unneeded include files. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14258 --- include/pub_tool_gdbserver.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/include/pub_tool_gdbserver.h b/include/pub_tool_gdbserver.h index d20caac1c7..69e510818f 100644 --- a/include/pub_tool_gdbserver.h +++ b/include/pub_tool_gdbserver.h @@ -31,8 +31,6 @@ #define __PUB_TOOL_GDBSERVER_H #include "pub_tool_basics.h" // VG_ macro -#include "libvex.h" -#include "libvex_ir.h" //-------------------------------------------------------------------- // PURPOSE: This module provides the support to have a gdb -- 2.47.2