From 8e8adb4298d76faafc4947256f0719c8aedc8508 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 17 Apr 2018 23:21:03 +0200
Subject: [PATCH 1/1] Pass parameter "callback".

---
 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 33adc28b94..701b5b39ca 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -132,7 +132,7 @@ template <class T, class F>
 typename std::enable_if<std::is_same<void, decltype(std::declval<F>()(std::declval<const T&>()))>::value, void>::type
 bindFlag(T& value, std::initializer_list<const char*> names, const char* description, F callback)
 {
-  bindFlag(value, *names.begin(), description);
+  bindFlag(value, *names.begin(), description, std::move(callback));
   alias(names);
 }
 
-- 
2.20.1