Description: In GCC6 (due to C++11) destructors are noexcept by default
Author: Michael Tautschnig <mt@debian.org>
Bug-Debian: https://bugs.debian.org/812262

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

Origin: <vendor|upstream|other>, <url of original patch>
Bug: <url in upstream bugtracker>
Bug-Debian: https://bugs.debian.org/<bugnumber>
Bug-Ubuntu: https://launchpad.net/bugs/<bugnumber>
Forwarded: <no|not-needed|url proving that it has been forwarded>
Reviewed-By: <name and email of someone who approved the patch>
Last-Update: <YYYY-MM-DD>

--- diagnostics-0.3.3.orig/diagnostics/macros/invariance_annotation.hpp
+++ diagnostics-0.3.3/diagnostics/macros/invariance_annotation.hpp
@@ -63,7 +63,7 @@ class Class_Invariance_Guard_Throw
 {
 public:
 	explicit inline Class_Invariance_Guard_Throw(CLASS const * const object);
-	inline ~Class_Invariance_Guard_Throw();
+	inline ~Class_Invariance_Guard_Throw() noexcept(false);
 	inline void no_final_check() { m_final_check=false; }
 private:
 	Class_Invariance_Guard_Throw(Class_Invariance_Guard_Throw const & other);
@@ -83,7 +83,7 @@ Class_Invariance_Guard_Throw<CLASS>::Cla
 }
 
 template<typename CLASS>
-Class_Invariance_Guard_Throw<CLASS>::~Class_Invariance_Guard_Throw()
+Class_Invariance_Guard_Throw<CLASS>::~Class_Invariance_Guard_Throw() noexcept(false)
 {
     if(m_final_check) (m_object.m_class_invariance)();
 }
