diff -r 301c3edbdaa1 -r 787612182dd0 bintools/checklib/library/library.h --- 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 m_symbols; mutable std::vector< std::pair > m_objects; };