From bdbd31ee11dfdaa5b493bccc9addca80fe72705a Mon Sep 17 00:00:00 2001
From: Simon Giraudot <simon.giraudot@geometryfactory.com>
Date: Mon, 17 Oct 2016 17:07:11 +0200
Subject: [PATCH] Bugfix: do not define the prototype of Push_property_map
 beforehand

---
 Point_set_3/include/CGAL/Point_set_3.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Point_set_3/include/CGAL/Point_set_3.h b/Point_set_3/include/CGAL/Point_set_3.h
index ba4da9d0d74..7c0464d8f04 100644
--- a/Point_set_3/include/CGAL/Point_set_3.h
+++ b/Point_set_3/include/CGAL/Point_set_3.h
@@ -92,8 +92,6 @@ public:
   };
   typedef Property_map<Index> Index_map;
 
-  template <typename Property>
-  class Push_property_map;
   /// \endcond
   
   /*!
@@ -109,7 +107,6 @@ public:
     friend class Properties::Property_container<Index>;
     template <class> friend class Properties::Property_array;
     template <class> friend struct Property_map;
-    template <class> friend class Push_property_map;
     friend class std::vector<Index>;
     std::size_t value;