From: Daniel Arndt Date: Tue, 21 Apr 2020 23:04:31 +0000 (-0400) Subject: Use smaller vector_tools files X-Git-Tag: v9.2.0-rc1~194^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5108f6822849fc8e06b97ec32397ffbee1f0e78;p=dealii.git Use smaller vector_tools files --- diff --git a/include/deal.II/base/parsed_convergence_table.h b/include/deal.II/base/parsed_convergence_table.h index 4103301136..7cbe508bc2 100644 --- a/include/deal.II/base/parsed_convergence_table.h +++ b/include/deal.II/base/parsed_convergence_table.h @@ -34,7 +34,7 @@ #include -#include +#include DEAL_II_NAMESPACE_OPEN diff --git a/include/deal.II/fe/fe_series.h b/include/deal.II/fe/fe_series.h index a88f0fcd9f..8e273eb759 100644 --- a/include/deal.II/fe/fe_series.h +++ b/include/deal.II/fe/fe_series.h @@ -32,7 +32,7 @@ #include #include -#include +#include #include #include diff --git a/include/deal.II/numerics/fe_field_function.templates.h b/include/deal.II/numerics/fe_field_function.templates.h index 2b970b0305..2e3c4f097d 100644 --- a/include/deal.II/numerics/fe_field_function.templates.h +++ b/include/deal.II/numerics/fe_field_function.templates.h @@ -33,7 +33,7 @@ #include #include -#include +#include #include diff --git a/source/grid/grid_tools.cc b/source/grid/grid_tools.cc index 377d3d7ba6..4ab9b295e6 100644 --- a/source/grid/grid_tools.cc +++ b/source/grid/grid_tools.cc @@ -52,7 +52,7 @@ #include #include -#include +#include #include #include diff --git a/source/numerics/point_value_history.cc b/source/numerics/point_value_history.cc index fe0cd668f3..cd134c67d2 100644 --- a/source/numerics/point_value_history.cc +++ b/source/numerics/point_value_history.cc @@ -26,7 +26,7 @@ #include #include -#include +#include #include