diff --git a/STL_Extension/include/CGAL/Base_with_time_stamp.h b/STL_Extension/include/CGAL/Base_with_time_stamp.h
index 1e2dbeff088..cbed66de81f 100644
--- a/STL_Extension/include/CGAL/Base_with_time_stamp.h
+++ b/STL_Extension/include/CGAL/Base_with_time_stamp.h
@@ -20,13 +20,6 @@ template <typename Base>
 class Base_with_time_stamp : public Base {
   std::size_t time_stamp_ = -1;
 public:
-  using Base::Base;
-
-  Base_with_time_stamp(const Base_with_time_stamp& other) :
-    Base(other),
-    time_stamp_(other.time_stamp_)
-  {}
-
   typedef CGAL::Tag_true Has_timestamp;
 
   std::size_t time_stamp() const {