From 04305dc82c28601ed92c4c786b54530d7de2ac7a Mon Sep 17 00:00:00 2001 From: Abhay Raj Singh Date: Sat, 13 Jun 2020 23:39:35 +0530 Subject: [PATCH] Removed unecessary Destructor --- STL_Extension/include/CGAL/exceptions.h | 2 -- 1 file changed, 2 deletions(-) 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; }