From 46fdf2907503997111a790b269d357ef6430eeeb Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 11 Mar 2025 09:00:51 -0600 Subject: [PATCH] Remove a header include that is no longer needed. --- source/lac/sparse_direct.cc | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.5