diff --git a/dune/gfe/parallel/globalindex.hh b/dune/gfe/parallel/globalindex.hh index 5cced9713689c87fa5a06fc5eb41e3714ab2d0aa..09b26625cd1593684d645a1d1aee677dc9265e0b 100644 --- a/dune/gfe/parallel/globalindex.hh +++ b/dune/gfe/parallel/globalindex.hh @@ -52,6 +52,8 @@ // Include proprietary header files. #include "uniqueentitypartition.hh" +#include <dune/common/version.hh> + /** include parallel capability */ #if HAVE_MPI #include <dune/common/parallel/mpihelper.hh>