From e728b74ad6f259ad1e03378a49d5f30ad680de1f Mon Sep 17 00:00:00 2001
From: Simon Giraudot <simon.giraudot@geometryfactory.com>
Date: Mon, 30 Dec 2019 16:42:05 +0100
Subject: [PATCH] Point_set_3: add missing copy constructor

---
 Point_set_3/include/CGAL/Point_set_3.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/Point_set_3/include/CGAL/Point_set_3.h b/Point_set_3/include/CGAL/Point_set_3.h
index 7e2f45db142..bb1574147c0 100644
--- a/Point_set_3/include/CGAL/Point_set_3.h
+++ b/Point_set_3/include/CGAL/Point_set_3.h
@@ -240,6 +240,18 @@ public:
     return *this;
   }
 
+  /// \cond SKIP_IN_MANUAL
+  // copy constructor (same as assignment)
+  Point_set_3 (const Point_set_3& ps)
+  {
+    m_base = ps.m_base;
+    m_indices = this->property_map<Index> ("index").first;
+    m_points = this->property_map<Point> ("point").first;
+    m_normals = this->property_map<Vector> ("normal").first;
+    m_nb_removed = ps.m_nb_removed;
+  }
+  /// \endcond
+
   /// @}
 
   /// \cond SKIP_IN_MANUAL