]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix refinement.h include 8361/head
authorDaniel Arndt <arndtd@ornl.gov>
Tue, 9 Jul 2019 13:24:24 +0000 (09:24 -0400)
committerDaniel Arndt <arndtd@ornl.gov>
Tue, 9 Jul 2019 13:24:24 +0000 (09:24 -0400)
include/deal.II/hp/refinement.h

index c125dd8e3ec7fbf282c86cca5696b7bd3b5b1ec3..68217654db136b15089caa5620aad470408c5b33 100644 (file)
@@ -19,6 +19,8 @@
 
 #include <deal.II/base/config.h>
 
+#include <vector>
+
 DEAL_II_NAMESPACE_OPEN
 
 // forward declarations

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.