diff --git a/python/dune/perftool/pdelab/localoperator.py b/python/dune/perftool/pdelab/localoperator.py index 039dc3a22409e4ea01976b13544fdc7b08667041..09a12e772d1c73803c36aca32d1447a934e4e353 100644 --- a/python/dune/perftool/pdelab/localoperator.py +++ b/python/dune/perftool/pdelab/localoperator.py @@ -548,7 +548,7 @@ class TimerMethod(ClassMember): assert(knl is not None) content = ["template <typename Stream>", - "void dump_timers(Stream& {}, char* {}, bool {})".format(os, ident, reset), + "void dump_timers(Stream& {}, const char* {}, 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))