Merge pull request #3466 from akva2/fix_serial_build

fix build
This commit is contained in:
Arne Morten Kvarving 2021-08-12 15:19:11 +02:00 committed by GitHub
commit bed3114dcd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -34,6 +34,7 @@
#include <dune/common/parallel/mpihelper.hh>
#include <array>
#include <cassert>
#include <memory>
#include <optional>
#include <stdexcept>