Merge pull request #1627 from atgeirr/fix-nompi-build

Add missing include for std::vector.
This commit is contained in:
Atgeirr Flø Rasmussen authored and GitHub committed 2018-11-13 21:10:40 +01:00
commit 3de0f25535
1 file changed
+1
@@ -32,6 +32,7 @@
#include <limits> #include <limits>
#include <numeric> #include <numeric>
#include <type_traits> #include <type_traits>
#include <vector>
#if HAVE_MPI && HAVE_DUNE_ISTL #if HAVE_MPI && HAVE_DUNE_ISTL