diff --git a/STL_Extension/include/CGAL/exceptions.h b/STL_Extension/include/CGAL/exceptions.h
index 92567623563..9c03348f122 100644
--- a/STL_Extension/include/CGAL/exceptions.h
+++ b/STL_Extension/include/CGAL/exceptions.h
@@ -97,8 +97,6 @@ public:
     m_msg( msg)
     {}
 
-    ~Failure_exception() noexcept {}
-
     //! the name of the library that issues this message.
     std::string      library() const { return m_lib; }