]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add some missing headers to grid_tools_topology.h. 16247/head
authorDavid Wells <drwells@email.unc.edu>
Mon, 6 Nov 2023 17:36:40 +0000 (12:36 -0500)
committerDavid Wells <drwells@email.unc.edu>
Mon, 6 Nov 2023 17:36:40 +0000 (12:36 -0500)
include/deal.II/grid/grid_tools_topology.h

index 6075e074fa71dbcab5589a3a76938ef4c3344299..4c6adddc27d7d20d8cf92311f23d977d15f00816 100644 (file)
 #include <deal.II/lac/dynamic_sparsity_pattern.h>
 
 #include <list>
+#include <map>
+#include <set>
 #include <tuple>
+#include <utility>
 #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.