]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a missing include file. 12589/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 21 Jul 2021 16:41:52 +0000 (10:41 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Wed, 21 Jul 2021 16:41:52 +0000 (10:41 -0600)
source/dofs/dof_handler_policy.cc

index afd2b02e33451448f82488575a034e38a4664d60..d765010405a215405234aef52c7c522b2c00bb06 100644 (file)
@@ -18,6 +18,7 @@
 #include <deal.II/base/memory_consumption.h>
 #include <deal.II/base/partitioner.h>
 #include <deal.II/base/thread_management.h>
+#include <deal.II/base/types.h>
 #include <deal.II/base/utilities.h>
 #include <deal.II/base/work_stream.h>
 

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.