From 6e58f8428ae1bef7ef227baf9fc5a569d6231af3 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 28 Apr 2016 21:58:16 +0200
Subject: [PATCH] Remove spurious XBT_PUBLIC

---
 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 1be433bbad..ecdb613df8 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -99,7 +99,7 @@ XBT_PUBLIC(void) declareFlag(const char* name, const char* description,
   std::function<void(const char* value)> callback);
 
 template<class T, class F>
-XBT_PUBLIC(void) declareFlag(const char* name, const char* description, F callback)
+void declareFlag(const char* name, const char* description, F callback)
 {
   declareFlag(name, description, [callback](const char* value) {
     callback(parse<T>(value));
-- 
2.20.1