From: Bruno Turcksin <bruno.turcksin@gmail.com> Date: Mon, 5 Oct 2020 15:55:49 +0000 (+0000) Subject: Add missing header X-Git-Tag: v9.3.0-rc1~1033^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11006%2Fhead;p=dealii.git Add missing header --- diff --git a/source/base/table_handler.cc b/source/base/table_handler.cc index b2405e5828..b62bf9b315 100644 --- a/source/base/table_handler.cc +++ b/source/base/table_handler.cc @@ -17,6 +17,7 @@ #include <boost/io/ios_state.hpp> +#include <algorithm> #include <iomanip> #include <iostream> #include <sstream>