From 0d8f59d8bcae01011e9eb7250599f40bd1d68a71 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Thu, 27 Aug 2015 18:40:05 -0500 Subject: [PATCH] Bugfix: Fix an include in filtered_iterator.h --- include/deal.II/grid/filtered_iterator.h | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.39.5