diff --git a/python/dune/perftool/pdelab/localoperator.py b/python/dune/perftool/pdelab/localoperator.py index 74d6b336ac604135eb414b3de968d6b6d9ab2070..adda9c7fc64c169cab0e237220f36d5c76302447 100644 --- a/python/dune/perftool/pdelab/localoperator.py +++ b/python/dune/perftool/pdelab/localoperator.py @@ -579,7 +579,7 @@ class TimerMethod(ClassMember): assert(knl is not None) content = ["template <typename Stream>", - "void dump_timers(Stream& {}, const char* {}, bool {})".format(os, ident, reset), + "void dump_timers(Stream& {}, std::string {}, bool {})".format(os, ident, reset), "{"] dump_timers = [i for i in retrieve_cache_items(condition='dump_timers')] content.extend(map(lambda x: ' ' + x, dump_timers))