From 7455caa4b8d9bdb20bce2f5f7032493d31051a53 Mon Sep 17 00:00:00 2001 From: Tiago de Paula Peixoto Date: Wed, 16 Sep 2020 18:33:14 +0200 Subject: [PATCH] Fix compilation error with clang + libc++ --- src/graph/graph_properties.hh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/graph/graph_properties.hh b/src/graph/graph_properties.hh index 11bc1575..728a0313 100644 --- a/src/graph/graph_properties.hh +++ b/src/graph/graph_properties.hh @@ -23,6 +23,7 @@ #include #include #include +#include #include #include #include -- GitLab