From a3b6af95775f8feff3236e7c317673b938ffdd60 Mon Sep 17 00:00:00 2001
From: Tobias Leibner <tobias.leibner@googlemail.com>
Date: Thu, 26 Sep 2019 16:59:42 +0200
Subject: [PATCH] [discretefunction] datahandle.hh -> default-datahandle.hh
---
.../discretefunction/{datahandle.hh => default-datahandle.hh} | 0
dune/gdt/discretefunction/default.hh | 2 ++
2 files changed, 2 insertions(+)
rename dune/gdt/discretefunction/{datahandle.hh => default-datahandle.hh} (100%)
diff --git a/dune/gdt/discretefunction/datahandle.hh b/dune/gdt/discretefunction/default-datahandle.hh
similarity index 100%
rename from dune/gdt/discretefunction/datahandle.hh
rename to dune/gdt/discretefunction/default-datahandle.hh
diff --git a/dune/gdt/discretefunction/default.hh b/dune/gdt/discretefunction/default.hh
index 3d18e475c..54a33bffb 100644
--- a/dune/gdt/discretefunction/default.hh
+++ b/dune/gdt/discretefunction/default.hh
@@ -305,4 +305,6 @@ make_discrete_function(const SpaceInterface<GV, r, rC, R>& space, const std::str
} // namespace GDT
} // namespace Dune
+#include "default-datahandle.hh"
+
#endif // DUNE_GDT_DISCRETEFUNCTION_DEFAULT_HH
--
GitLab