diff --git a/tests/playground/report.py b/tests/playground/report.py index f37e37eb3c..4ad6da830e 100755 --- a/tests/playground/report.py +++ b/tests/playground/report.py @@ -24,7 +24,7 @@ def pp(bench, cat, prop): CATBAG = { '.lean': ("Lean [s]", "etime"), '.gcc.lean': ("Lean+GCC9", "etime"), - '.gc.lean': ("GC [%]", "gc"), + '.gc.lean': ("del [%]", "gc"), '.lean.perf': ("cache misses [1M/s]", "cache-misses"), '.hs': ("GHC", "etime"), '.gc.hs': ("GC [%]", "gc"),