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

index c9a8c18d33d0cb664f6980e3c835672be85875cb..9de534f05f21b5757df090f27f9ca022ea9c2ae7 100644 (file)
@@ -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

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.