diff --git a/dune/common/parameterizedobject.hh b/dune/common/parameterizedobject.hh index 6ce89f3635f1ed13ae352f2eee90f6dd77930203..fba05fa5db1e09b08f93e298b04443607c339787 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 {