From 374ad05d1c53e13938d24ab3c6af22d36db9c074 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 18 Apr 2018 22:32:13 +0200
Subject: [PATCH 1/1] Add missing constructor for simgrid::config::Flag.

---
 include/xbt/config.hpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/include/xbt/config.hpp b/include/xbt/config.hpp
index d25e1c41ce..5c2f0988e3 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -216,6 +216,13 @@ public:
     simgrid::config::bindFlag(value_, name, desc, std::move(callback));
   }
 
+  template <class F>
+  Flag(const char* name, std::initializer_list<const char*> aliases, const char* desc, T value, F callback)
+      : value_(value)
+  {
+    simgrid::config::bindFlag(value_, name, std::move(aliases), desc, std::move(callback));
+  }
+
   /* A constructor accepting a map of valid values -> their description,
    * and producing an informative error message when an invalid value is passed, or when help is passed as a value.
    */
-- 
2.20.1