From: Matthias Maier Date: Mon, 7 Apr 2025 01:55:56 +0000 (-0500) Subject: source/base/parsed_convergence_table.cc: add a missing header X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5f0844797cb4f9646e0dcc60f9b9c4a8fefbc798;p=dealii.git source/base/parsed_convergence_table.cc: add a missing header --- diff --git a/source/base/parsed_convergence_table.cc b/source/base/parsed_convergence_table.cc index 81533d9af3..ef483e1b5b 100644 --- a/source/base/parsed_convergence_table.cc +++ b/source/base/parsed_convergence_table.cc @@ -17,6 +17,7 @@ #include #include +#include #include