From 48580b7729ed54c60acc262d86e12fe547b6b2b5 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 3 May 2016 11:54:53 +0200
Subject: [PATCH] [config] Mark ~missing_key_error() noexcept

---
 include/xbt/config.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/xbt/config.hpp b/include/xbt/config.hpp
index b5b3e9d7e9..7b2d7a432b 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -30,7 +30,7 @@ public:
     : std::runtime_error(what) {}
   explicit missing_key_error(const char* what)
     : std::runtime_error(what) {}
-  ~missing_key_error();
+  ~missing_key_error() noexcept;
 };
 
 template<class T> inline
-- 
2.20.1