From: Matthias Maier Date: Thu, 27 Aug 2015 23:40:05 +0000 (-0500) Subject: Bugfix: Fix an include in filtered_iterator.h X-Git-Tag: v8.4.0-rc2~537^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0d8f59d8bcae01011e9eb7250599f40bd1d68a71;p=dealii.git Bugfix: Fix an include in filtered_iterator.h --- diff --git a/include/deal.II/grid/filtered_iterator.h b/include/deal.II/grid/filtered_iterator.h index 0e98c5a219..a98e953249 100644 --- a/include/deal.II/grid/filtered_iterator.h +++ b/include/deal.II/grid/filtered_iterator.h @@ -21,6 +21,8 @@ #include #include +#include + DEAL_II_NAMESPACE_OPEN