]> https://gitweb.dealii.org/ - dealii.git/commitdiff
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

index 8cd5ae50ebed91b55a403e49d2fd1501719fb8f5..bf696efbcd8e4c634b75419f04bef5254a1b94eb 100644 (file)
@@ -22,6 +22,7 @@
 #include <deal.II/base/template_constraints.h>
 
 #include <functional>
+#include <vector>
 
 
 DEAL_II_NAMESPACE_OPEN

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.