changeset 6 | 787612182dd0 |
parent 2 | 39c28ec933dd |
--- a/bintools/checklib/library/library.h Wed May 12 09:52:26 2010 +0100 +++ b/bintools/checklib/library/library.h Thu May 13 08:38:18 2010 +0100 @@ -39,11 +39,12 @@ const char* _eat_obj_header(const char*, const char*, unsigned long*, const char* = 0) const; private: - const char* m_mem_p; + char * m_mem_p; const char* m_first_p; const char* m_last_p; + mutable std::vector<const char*> m_symbols; mutable std::vector< std::pair<const char*, const char*> > m_objects; };