From 7131ddeef176fae19d8bac68da8378e3a8486513 Mon Sep 17 00:00:00 2001
From: Kilian Weishaupt <kilian.weishaupt@iws.uni-stuttgart.de>
Date: Tue, 28 Nov 2017 13:29:12 +0100
Subject: [PATCH] [basicProperties] Include dune_version header
---
dumux/common/basicproperties.hh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/dumux/common/basicproperties.hh b/dumux/common/basicproperties.hh
index b05adb450c..7b85a0cf35 100644
--- a/dumux/common/basicproperties.hh
+++ b/dumux/common/basicproperties.hh
@@ -44,6 +44,8 @@
#include <dumux/io/defaultvtkoutputfields.hh>
#include <dumux/io/gridcreator.hh>
+#include <dune/common/version.hh>
+
namespace Dumux
{
namespace Properties
--
GitLab