From 07a4dc1b49c9604b14f3b29a36bb40b67e5175ef Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Sun, 27 Nov 2016 00:27:44 +0100
Subject: [PATCH] [bugfix] fix include name
---
dune/common/parameterizedobject.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dune/common/parameterizedobject.hh b/dune/common/parameterizedobject.hh
index 6ce89f363..fba05fa5d 100644
--- a/dune/common/parameterizedobject.hh
+++ b/dune/common/parameterizedobject.hh
@@ -7,7 +7,7 @@
#include <dune/common/exceptions.hh>
#include <dune/common/std/memory.hh>
-#include <dune/common/prioritytag.hh>
+#include <dune/common/typeutilities.hh>
namespace Dune {
--
GitLab