From 8450cf512303be6ef6491bab800fefcdc7e669e9 Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Tue, 9 Jul 2019 09:24:24 -0400 Subject: [PATCH] Fix refinement.h include --- include/deal.II/hp/refinement.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/include/deal.II/hp/refinement.h b/include/deal.II/hp/refinement.h index c125dd8e3e..68217654db 100644 --- a/include/deal.II/hp/refinement.h +++ b/include/deal.II/hp/refinement.h @@ -19,6 +19,8 @@ #include +#include + DEAL_II_NAMESPACE_OPEN // forward declarations -- 2.39.5