Florian Krohm 5c4ba95a27 Fix inclusion of header files in coregrind. No pub_tool_*.h should be ...

included here.
Added pub_core_poolalloc.h and renamed pub_tool_inner.h to pub_core_inner.h.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13548

2013-09-15 10:42:26 +00:00

2.1 KiB

Raw Blame History

View Raw