From e9f1cb405f774cbfea0f16fed2f32b560fdbf92f Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 4 Dec 2019 15:42:54 +0100
Subject: [PATCH] Improvement for set_size

---
 STL_Extension/include/CGAL/Concurrent_compact_container.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/STL_Extension/include/CGAL/Concurrent_compact_container.h b/STL_Extension/include/CGAL/Concurrent_compact_container.h
index 756011ea104..5fad68c1719 100644
--- a/STL_Extension/include/CGAL/Concurrent_compact_container.h
+++ b/STL_Extension/include/CGAL/Concurrent_compact_container.h
@@ -131,6 +131,9 @@ public:
   size_type size() const     { return m_size; }
   void set_size(size_type s) {
     m_size = s;
+#if CGAL_CONCURRENT_COMPACT_CONTAINER_APPROXIMATE_SIZE
+    refresh_approximate_size();
+#endif
   }
   void inc_size() {
     ++m_size;