|
From: <sv...@va...> - 2014-08-11 14:39:39
|
Author: florian
Date: Mon Aug 11 14:39:28 2014
New Revision: 14258
Log:
Remove unneeded include files.
Modified:
trunk/include/pub_tool_gdbserver.h
Modified: trunk/include/pub_tool_gdbserver.h
==============================================================================
--- trunk/include/pub_tool_gdbserver.h (original)
+++ trunk/include/pub_tool_gdbserver.h Mon Aug 11 14:39:28 2014
@@ -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
|