From b32e74a13b36aae99895321d48c64827806bf255 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 19 Apr 2018 12:17:32 +0200
Subject: [PATCH 1/1] Kill undefined declaration.

---
 src/xbt/config.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/xbt/config.cpp b/src/xbt/config.cpp
index 425a9fbcbc..2caa254d31 100644
--- a/src/xbt/config.cpp
+++ b/src/xbt/config.cpp
@@ -270,8 +270,6 @@ public:
   Config& operator=(Config const&) = delete;
 
   ConfigurationElement& operator[](const char* name);
-  template<class T>
-  TypedConfigurationElement<T>& getTyped(const char* name);
   void alias(const char* realname, const char* aliasname);
 
   template<class T, class... A>
-- 
2.20.1