incorrect simplification: empty() is not equivalent to size()>1

This commit is contained in:
Sébastien Loriot 2013-06-03 15:29:41 +02:00
parent 8bb442ae3b
commit 7a7f9be240
1 changed files with 1 additions and 1 deletions

View File

@ -385,7 +385,7 @@ public:
// clear nodes
void clear_nodes()
{
if( !empty() ) {
if( size() > 1 ) {
delete [] m_p_root_node;
}
m_p_root_node = NULL;