]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 66e9eaa)
Remove unnecessary PETSc include file 6651/head
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 23 May 2018 08:03:06 +0000 (10:03 +0200)
committerDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Wed, 23 May 2018 08:19:30 +0000 (10:19 +0200)
source/lac/exceptions.cc patch | blob | history

diff --git a/source/lac/exceptions.cc b/source/lac/exceptions.cc
index aed3f800669f6a5b9e6d9739522eca900eb7f9b5..3c4e31f82e0d048fa79da7585a7b4b944df1061f 100644 (file)
--- 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
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.