Merge pull request #14192 from marcfehling/set

Added missing header.
dealii · Aug 17, 2022 · d9d8a44 · d9d8a44
2 parents 276cfaa + f170849
commit d9d8a44
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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