Merge pull request #1177 from totto82/dummy_pr

Dummy commit
This commit is contained in:
Joakim Hove 2017-05-12 13:39:02 +02:00 committed by GitHub
commit 9dda677a28

View File

@ -26,6 +26,7 @@
#include <opm/common/utility/platform_dependent/disable_warnings.h>
#include <dune/common/version.hh>
#if DUNE_VERSION_NEWER(DUNE_COMMON, 2, 3)
#include <dune/common/parallel/mpihelper.hh>