From 36d6e826b44d3699074678a19770386b435318ed Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Mon, 5 Nov 2018 14:56:02 +0100 Subject: [PATCH] Add missing header in subscriptor.cc --- source/base/subscriptor.cc | 1 + 1 file changed, 1 insertion(+) diff --git a/source/base/subscriptor.cc b/source/base/subscriptor.cc index 1f8204c895..abde0083a0 100644 --- a/source/base/subscriptor.cc +++ b/source/base/subscriptor.cc @@ -17,6 +17,7 @@ #include #include +#include #include #include #include -- 2.39.5