From: Bruno Turcksin 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 +#include #include #include #include