]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add a necessary header. 18353/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Fri, 11 Apr 2025 15:15:22 +0000 (09:15 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Fri, 11 Apr 2025 15:18:35 +0000 (09:18 -0600)
include/deal.II/lac/petsc_solver.h

index 5d2b3d61d3c686a85132557ca536ca6acd4526a2..f09443d05a683579dcb3a69744cfe2b3725174fb 100644 (file)
@@ -20,6 +20,7 @@
 
 #ifdef DEAL_II_WITH_PETSC
 
+#  include <deal.II/base/mpi_stub.h>
 #  include <deal.II/base/observer_pointer.h>
 
 #  include <deal.II/lac/exceptions.h>

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.