diff --git a/python/dune/perftool/pdelab/driver.py b/python/dune/perftool/pdelab/driver.py index 58e55ce48876c7646a3c95936f50897ec0b68acc..22e56115cc9c4fad34eecd3c951d7d15989cd452 100644 --- a/python/dune/perftool/pdelab/driver.py +++ b/python/dune/perftool/pdelab/driver.py @@ -1427,7 +1427,7 @@ def setup_timer(): @preamble def define_timing_identifier(name): ini = name_initree() - return "auto {} = {}.get<char*>(\"identifier\", argv[0]);".format(name, ini) + return "auto {} = {}.get<std::string>(\"identifier\", std::string(argv[0])).c_str();".format(name, ini) def name_timing_identifier():