From 7b6f0626e2fb605f1900bd1ed9453369e0c7654e Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Sun, 22 Mar 2020 22:40:06 +0100
Subject: [PATCH] [common] fix Typename specialization
---
dune/xt/common/type_traits.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dune/xt/common/type_traits.hh b/dune/xt/common/type_traits.hh
index bca3ac5d0..59896a62d 100644
--- a/dune/xt/common/type_traits.hh
+++ b/dune/xt/common/type_traits.hh
@@ -34,7 +34,7 @@
template <> \
struct Typename<NAME> \
{ \
- static const char* value() \
+ static const std::string value(bool fail_wo_typeid = false) \
{ \
return #NAME; \
} \
--
GitLab