From 5f0844797cb4f9646e0dcc60f9b9c4a8fefbc798 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Sun, 6 Apr 2025 20:55:56 -0500 Subject: [PATCH] source/base/parsed_convergence_table.cc: add a missing header --- source/base/parsed_convergence_table.cc | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5