From 985850056ed5901560508bf1bb2bbc58f97456ef Mon Sep 17 00:00:00 2001
From: Oliver Sander <sander@igpm.rwth-aachen.de>
Date: Sun, 7 Sep 2014 21:27:45 +0000
Subject: [PATCH] Include dune/common/version.hh

[[Imported from SVN: r9882]]
---
 dune/gfe/parallel/globalindex.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dune/gfe/parallel/globalindex.hh b/dune/gfe/parallel/globalindex.hh
index 5cced971..09b26625 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>
-- 
GitLab