]> 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: a3afff0)
Fix missing #include 15559/head
authorPasquale Africa <pafrica@sissa.it>
Mon, 3 Jul 2023 02:02:28 +0000 (02:02 +0000)
committerPasquale Africa <pafrica@sissa.it>
Mon, 3 Jul 2023 02:06:55 +0000 (02:06 +0000)
source/grid/intergrid_map.cc patch | blob | history

diff --git a/source/grid/intergrid_map.cc b/source/grid/intergrid_map.cc
index 9d0b27f0c4977c745b66e13fcf6b886c60f03aef..9ffc92dd48e6d563b843c3dfe5d015b9baa8fdc9 100644 (file)
--- a/source/grid/intergrid_map.cc
+++ b/source/grid/intergrid_map.cc
@@ -16,6 +16,7 @@
 #include <deal.II/base/memory_consumption.h>
 #include <deal.II/base/smartpointer.h>
 
+#include <deal.II/distributed/fully_distributed_tria.h>
 #include <deal.II/distributed/shared_tria.h>
 #include <deal.II/distributed/tria.h>
 
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.