From a5ff4ea80e997152018f00ca93639ecc0d55b53d Mon Sep 17 00:00:00 2001 From: Denis Davydov Date: Sat, 31 Mar 2018 10:38:10 +0200 Subject: [PATCH] fix missing header --- include/boost/graph/detail/array_binary_tree.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/include/boost/graph/detail/array_binary_tree.hpp b/include/boost/graph/detail/array_binary_tree.hpp index e59da9e17..fd403d1f3 100644 --- a/include/boost/graph/detail/array_binary_tree.hpp +++ b/include/boost/graph/detail/array_binary_tree.hpp @@ -14,6 +14,7 @@ #include #include #include +#include namespace boost {