Removed unecessary Destructor

This commit is contained in:
Abhay Raj Singh 2020-06-13 23:39:35 +05:30 committed by GitHub
parent dbbee667af
commit 04305dc82c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -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; }