From 5ee69f22d5f6ab219b59132ade49e92978ecdc21 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 12 Apr 2018 18:26:31 +0200
Subject: [PATCH] Kill unused exception class.

---
 include/xbt/config.hpp | 9 ---------
 src/xbt/config.cpp     | 2 --
 2 files changed, 11 deletions(-)

diff --git a/include/xbt/config.hpp b/include/xbt/config.hpp
index 9df266c554..6f3283562a 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -25,15 +25,6 @@
 namespace simgrid {
 namespace config {
 
-class XBT_PUBLIC missing_key_error : public std::runtime_error {
-public:
-  explicit missing_key_error(const std::string& what)
-    : std::runtime_error(what) {}
-  explicit missing_key_error(const char* what)
-    : std::runtime_error(what) {}
-  ~missing_key_error() override;
-};
-
 template<class T> inline
 std::string to_string(T&& value)
 {
diff --git a/src/xbt/config.cpp b/src/xbt/config.cpp
index 2990351d50..34503ee9ed 100644
--- a/src/xbt/config.cpp
+++ b/src/xbt/config.cpp
@@ -35,8 +35,6 @@ XBT_EXPORT_NO_IMPORT xbt_cfg_t simgrid_config = nullptr;
 namespace simgrid {
 namespace config {
 
-missing_key_error::~missing_key_error() = default;
-
 namespace {
 
 const char* true_values[] = {
-- 
2.20.1