]> https://gitweb.dealii.org/ - dealii.git/commitdiff
add missing ReadVector header 15658/head
authorMagdalena Schreter <magdalena.schreter@tum.de>
Wed, 5 Jul 2023 10:08:21 +0000 (12:08 +0200)
committerMagdalena Schreter <magdalena.schreter@tum.de>
Wed, 5 Jul 2023 10:08:21 +0000 (12:08 +0200)
include/deal.II/numerics/error_estimator.h

index 5e63a7832749ca113a88d1a9ab456bb4ea48e9fe..15c9f34b0521a3af9d0462abf047eede9b01b846 100644 (file)
@@ -24,6 +24,8 @@
 
 #include <deal.II/fe/component_mask.h>
 
+#include <deal.II/lac/read_vector.h>
+
 #include <map>
 
 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.