From: Wolfgang Bangerth Date: Tue, 4 Feb 2025 14:20:23 +0000 (-0700) Subject: Do not include unnecessary header file. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F18082%2Fhead;p=dealii.git Do not include unnecessary header file. --- diff --git a/include/deal.II/lac/petsc_solver.h b/include/deal.II/lac/petsc_solver.h index 350d8005e9..5d2b3d61d3 100644 --- a/include/deal.II/lac/petsc_solver.h +++ b/include/deal.II/lac/petsc_solver.h @@ -27,9 +27,6 @@ # include -# ifdef DEAL_II_WITH_SLEPC -# include -# endif DEAL_II_NAMESPACE_OPEN