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>