commit | c91f58449e6fc2a4ce0851639a342c4277612fbb | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Sep 15 10:42:26 2013 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun Sep 15 10:42:26 2013 +0000 |
tree | 62a50c4f2c7a97785a895821992011009dbfbda1 | |
parent | be7f7cfa9e15882f2de1f800c55c60b39b47fe75 [diff] |
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 a5019735-40e9-0310-863c-91ae7b9d1cf9