From a51c98a7a16dde2e21be2e64dcb49049c406275a Mon Sep 17 00:00:00 2001 From: Philip Salzmann Date: Wed, 9 Sep 2020 10:54:35 +0200 Subject: [PATCH] Use backwards compatible Boost header, add missing one --- include/types.h | 4 ++-- src/config.cc | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/include/types.h b/include/types.h index 59da45f5c..73be4e197 100644 --- a/include/types.h +++ b/include/types.h @@ -1,7 +1,7 @@ #pragma once -#include - +// FIXME: Replace this with once we only support Boost 1.67+ +#include namespace celerity { namespace detail { diff --git a/src/config.cc b/src/config.cc index 1711d03e8..f772c6aaa 100644 --- a/src/config.cc +++ b/src/config.cc @@ -2,6 +2,7 @@ #include #include +#include #include #include