From: Daniel Arndt <arndtd@ornl.gov>
Date: Tue, 9 Jul 2019 13:24:24 +0000 (-0400)
Subject: Fix refinement.h include
X-Git-Tag: v9.2.0-rc1~1396^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F8361%2Fhead;p=dealii.git

Fix refinement.h include
---

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 <deal.II/base/config.h>
 
+#include <vector>
+
 DEAL_II_NAMESPACE_OPEN
 
 // forward declarations