From d7caca92dd385e3b5aa024493ccf297095961476 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 23 May 2018 10:03:06 +0200
Subject: [PATCH] Remove unnecessary PETSc include file

---
 source/lac/exceptions.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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
-- 
2.39.5