]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: abb5654)
Add missing header 9020/head
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 7 Nov 2019 23:05:58 +0000 (18:05 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Thu, 7 Nov 2019 23:05:58 +0000 (18:05 -0500)
include/deal.II/hp/refinement.h patch | blob | history

diff --git a/include/deal.II/hp/refinement.h b/include/deal.II/hp/refinement.h
index 8cd5ae50ebed91b55a403e49d2fd1501719fb8f5..bf696efbcd8e4c634b75419f04bef5254a1b94eb 100644 (file)
--- a/include/deal.II/hp/refinement.h
+++ b/include/deal.II/hp/refinement.h
@@ -22,6 +22,7 @@
 #include <deal.II/base/template_constraints.h>
 
 #include <functional>
+#include <vector>
 
 
 DEAL_II_NAMESPACE_OPEN
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.