Remove unneeded include files.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14258

diff --git a/include/pub_tool_gdbserver.h b/include/pub_tool_gdbserver.h
index d20caac1c75bfd0144521446436e245a678572d3..69e510818f5f3e58bcfdbb44721b379346dcff95 100644 (file)
--- 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