]> 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: 276cfaa)
Added missing header. 14192/head
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 16 Aug 2022 22:28:54 +0000 (16:28 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Tue, 16 Aug 2022 22:28:54 +0000 (16:28 -0600)
include/deal.II/dofs/dof_accessor.h patch | blob | history

diff --git a/include/deal.II/dofs/dof_accessor.h b/include/deal.II/dofs/dof_accessor.h
index c9a8c18d33d0cb664f6980e3c835672be85875cb..9de534f05f21b5757df090f27f9ca022ea9c2ae7 100644 (file)
--- a/include/deal.II/dofs/dof_accessor.h
+++ b/include/deal.II/dofs/dof_accessor.h
@@ -28,6 +28,7 @@ DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
 #include <boost/container/small_vector.hpp>
 DEAL_II_ENABLE_EXTRA_DIAGNOSTICS
 
+#include <set>
 #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.