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
..
2012-12-08 17:54:16 +00:00
2013-09-15 09:56:18 +00:00
2013-08-25 06:10:24 +00:00