From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 23 May 2018 08:03:06 +0000 (+0200)
Subject: Remove unnecessary PETSc include file
X-Git-Tag: v9.1.0-rc1~1108^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F6651%2Fhead;p=dealii.git

Remove unnecessary PETSc include file
---

diff --git a/source/lac/exceptions.cc b/source/lac/exceptions.cc
index aed3f80066..3c4e31f82e 100644
--- a/source/lac/exceptions.cc
+++ b/source/lac/exceptions.cc
@@ -18,9 +18,8 @@
 #include <deal.II/lac/exceptions.h>
 
 #ifdef DEAL_II_WITH_PETSC
-#include <petscconf.h>
-#include <petscsys.h>
-#include <petscerror.h>
+#  include <petscconf.h>
+#  include <petscsys.h>
 #endif // DEAL_II_WITH_PETSC
 
 DEAL_II_NAMESPACE_OPEN