Kill undefined declaration.

diff --git a/src/xbt/config.cpp b/src/xbt/config.cpp
index 425a9fb..2caa254 100644 (file)
--- 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>