From 7b94a76691f9274a57154037ef06b82efc5b5625 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@unibas.ch>
Date: Sat, 31 Mar 2018 19:30:30 +0200
Subject: [PATCH] fix build ?

---
 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 1ce01c3b2b..b319d0732c 100644
--- a/include/xbt/config.hpp
+++ b/include/xbt/config.hpp
@@ -173,7 +173,7 @@ bindFlag(T& value, const char* name, const char* description,
     std::function<void(const T&)>([&value, callback](const T& val) {
       if (not callback(val))
         throw std::range_error("invalid value");
-        value = std::move(val);
+      value = std::move(val);
     })
   );
 }
-- 
2.20.1