]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Added missing header
authorNicolas Barnafi <nabw91@gmail.com>
Thu, 5 May 2022 19:19:13 +0000 (21:19 +0200)
committerNicolas Barnafi <nabw91@gmail.com>
Thu, 5 May 2022 19:19:13 +0000 (21:19 +0200)
include/deal.II/lac/petsc_sparse_matrix.h

index 4a597ff565c5e0ad46f9ba1615cd6db83963b103..b9994900d909ef58a6fd8f2d54aa8fd68ea798f6 100644 (file)
@@ -28,6 +28,7 @@
 #    include <vector>
 
 #    include "petscis.h"
+#    include "petscistypes.h"
 
 DEAL_II_NAMESPACE_OPEN
 // forward declaration

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.