From: Daniel Arndt Date: Mon, 5 Nov 2018 13:56:02 +0000 (+0100) Subject: Add missing header in subscriptor.cc X-Git-Tag: v9.1.0-rc1~578^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=36d6e826b44d3699074678a19770386b435318ed;p=dealii.git Add missing header in subscriptor.cc --- 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