From 753ec69703e756549346bb458c7a5d136d7d1a8f Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Thu, 7 Nov 2019 18:05:58 -0500 Subject: [PATCH] Add missing header --- include/deal.II/hp/refinement.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/deal.II/hp/refinement.h b/include/deal.II/hp/refinement.h index 8cd5ae50eb..bf696efbcd 100644 --- a/include/deal.II/hp/refinement.h +++ b/include/deal.II/hp/refinement.h @@ -22,6 +22,7 @@ #include #include +#include DEAL_II_NAMESPACE_OPEN -- 2.39.5