commit 535fb1b49a80f2e880f755ee618381de3e222ddf
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Sep 15 13:54:34 2013 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> Sun Sep 15 13:54:34 2013 +0000
tree 4f52ffa70ed0878c655f4655a9311ee033ae94d0
parent c91f58449e6fc2a4ce0851639a342c4277612fbb

Fix coregrind header files such that they can be included without
having to worry what other header files may have to be included
beforehand.


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

include/pub_tool_options.h

diff --git a/include/pub_tool_options.h b/include/pub_tool_options.h
index ef13712..08d6dba 100644
--- a/include/pub_tool_options.h
+++ b/include/pub_tool_options.h
@@ -31,6 +31,7 @@
 #ifndef __PUB_TOOL_OPTIONS_H
 #define __PUB_TOOL_OPTIONS_H
 
+#include "pub_tool_basics.h"     // for VG_ macro
 #include "libvex.h"              // for VexControl