From: Wolfgang Bangerth Date: Mon, 5 May 2025 02:40:14 +0000 (-0600) Subject: Add necessary include. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F18420%2Fhead;p=dealii.git Add necessary include. --- diff --git a/source/lac/sparse_direct.cc b/source/lac/sparse_direct.cc index a38305b10b..6dae18c2fa 100644 --- a/source/lac/sparse_direct.cc +++ b/source/lac/sparse_direct.cc @@ -30,6 +30,9 @@ # include #endif +#ifdef DEAL_II_WITH_MUMPS +# include +#endif DEAL_II_NAMESPACE_OPEN