From 08f8f99ba70efa9b80a1032faa684ce42a0c10ea Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Thu, 3 Dec 2020 17:29:00 +0100
Subject: [PATCH] [operators.identity] fix wrong signature
---
dune/gdt/operators/identity.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dune/gdt/operators/identity.hh b/dune/gdt/operators/identity.hh
index 2e1d89206..6bb978428 100644
--- a/dune/gdt/operators/identity.hh
+++ b/dune/gdt/operators/identity.hh
@@ -100,7 +100,7 @@ protected:
return {{{"type", "identity"}}};
}
- virtual std::vector<XT::Common::Configuration> all_invert_options() const
+ std::vector<XT::Common::Configuration> all_invert_options() const override final
{
return {{{"type", "identity"}}};
}
--
GitLab