Kill unused exception class.

diff --git a/include/xbt/config.hpp b/include/xbt/config.hpp
index 9df266c..6f32835 100644 (file)
--- 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 2990351..34503ee 100644 (file)
--- 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[] = {