aboutsummaryrefslogtreecommitdiff
path: root/include/pub_tool_wordfm.h
diff options
context:
space:
mode:
authorflorian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>2013-09-15 13:54:34 +0000
committerflorian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9>2013-09-15 13:54:34 +0000
commit535fb1b49a80f2e880f755ee618381de3e222ddf (patch)
tree4f52ffa70ed0878c655f4655a9311ee033ae94d0 /include/pub_tool_wordfm.h
parentc91f58449e6fc2a4ce0851639a342c4277612fbb (diff)
downloadvalgrind-535fb1b49a80f2e880f755ee618381de3e222ddf.tar.gz
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
Diffstat (limited to 'include/pub_tool_wordfm.h')
-rw-r--r--include/pub_tool_wordfm.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/include/pub_tool_wordfm.h b/include/pub_tool_wordfm.h
index 15bf76a0e..341adebbe 100644
--- a/include/pub_tool_wordfm.h
+++ b/include/pub_tool_wordfm.h
@@ -52,6 +52,8 @@
#ifndef __PUB_TOOL_WORDFM_H
#define __PUB_TOOL_WORDFM_H
+#include "pub_tool_basics.h" // Word
+
//------------------------------------------------------------------//
//--- WordFM ---//
//--- Public interface ---//