From b6693befe6eb03c83ec1e5fd44c588518223f3d9 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 27 Jun 2016 14:57:34 +0200
Subject: [PATCH] Add missing include

---
 include/xbt/functional.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/xbt/functional.hpp b/include/xbt/functional.hpp
index 1b3b6ea03d..49d33f4e1c 100644
--- a/include/xbt/functional.hpp
+++ b/include/xbt/functional.hpp
@@ -16,6 +16,7 @@
 #include <memory>
 #include <string>
 #include <tuple>
+#include <type_traits>
 #include <utility>
 #include <vector>
 
-- 
2.20.1