|
From: <sv...@va...> - 2014-08-16 20:51:44
|
Author: florian
Date: Sat Aug 16 20:51:36 2014
New Revision: 14296
Log:
Remove unneeded header files.
Modified:
branches/BUF_REMOVAL/drd/drd_clientreq.c
branches/BUF_REMOVAL/drd/drd_main.c
Modified: branches/BUF_REMOVAL/drd/drd_clientreq.c
==============================================================================
--- branches/BUF_REMOVAL/drd/drd_clientreq.c (original)
+++ branches/BUF_REMOVAL/drd/drd_clientreq.c Sat Aug 16 20:51:36 2014
@@ -35,7 +35,6 @@
#include "drd_suppression.h" // drd_start_suppression()
#include "drd_thread.h"
#include "pub_tool_basics.h" // Bool
-#include "pub_tool_debuginfo.h" // VG_(describe_IP)()
#include "pub_tool_libcassert.h"
#include "pub_tool_libcassert.h" // tl_assert()
#include "pub_tool_libcprint.h" // VG_(message)()
Modified: branches/BUF_REMOVAL/drd/drd_main.c
==============================================================================
--- branches/BUF_REMOVAL/drd/drd_main.c (original)
+++ branches/BUF_REMOVAL/drd/drd_main.c Sat Aug 16 20:51:36 2014
@@ -40,7 +40,6 @@
#include "pub_drd_bitmap.h"
#include "pub_tool_vki.h" // Must be included before pub_tool_libcproc
#include "pub_tool_basics.h"
-#include "pub_tool_debuginfo.h" // VG_(describe_IP)()
#include "pub_tool_libcassert.h" // tl_assert()
#include "pub_tool_libcbase.h" // VG_(strcmp)
#include "pub_tool_libcprint.h" // VG_(printf)
|