From: Wolfgang Bangerth Date: Tue, 11 Mar 2025 15:00:51 +0000 (-0600) Subject: Remove a header include that is no longer needed. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46fdf2907503997111a790b269d357ef6430eeeb;p=dealii.git Remove a header include that is no longer needed. --- diff --git a/source/lac/sparse_direct.cc b/source/lac/sparse_direct.cc index 71c0966f35..495918cfd4 100644 --- a/source/lac/sparse_direct.cc +++ b/source/lac/sparse_direct.cc @@ -20,7 +20,6 @@ #include #include -#include #include #include #include