commit be4203d2922d59816375548fab9c76311f458b91
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Aug 11 14:39:28 2014 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Mon Aug 11 14:39:28 2014 +0000
tree a37d4cad82bbfa4aa537c00bbc719f21229eb528
parent 4eacc8007c18b53be04191606bd5013de19acd07

Remove unneeded include files.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14258 a5019735-40e9-0310-863c-91ae7b9d1cf9

include/pub_tool_gdbserver.h

diff --git a/include/pub_tool_gdbserver.h b/include/pub_tool_gdbserver.h
index d20caac..69e5108 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