From 7a7f9be2400da6c982e06f4fb3c661fae9625b44 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sebastien.loriot@cgal.org>
Date: Mon, 3 Jun 2013 15:29:41 +0200
Subject: [PATCH] incorrect simplification: empty() is not equivalent to
 size()>1

---
 AABB_tree/include/CGAL/AABB_tree.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AABB_tree/include/CGAL/AABB_tree.h b/AABB_tree/include/CGAL/AABB_tree.h
index 677b7f02fcb..75e78d41318 100644
--- a/AABB_tree/include/CGAL/AABB_tree.h
+++ b/AABB_tree/include/CGAL/AABB_tree.h
@@ -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;