From f0ade322a3884342c7ead439ac0cef9a4785dba7 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 6 Mar 2019 18:52:28 +0100
Subject: [PATCH 1/1] Missing include.

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

diff --git a/include/xbt/backtrace.hpp b/include/xbt/backtrace.hpp
index 92199c8d99..27b9f8e810 100644
--- a/include/xbt/backtrace.hpp
+++ b/include/xbt/backtrace.hpp
@@ -9,6 +9,7 @@
 #include <xbt/base.h>
 
 #include <cstddef>
+#include <functional>
 #include <memory>
 #include <string>
 #include <vector>
-- 
2.20.1