Fix table header

This commit is contained in:
Justin Ethier 2018-07-24 13:17:19 -04:00
parent 931449980e
commit f3754de0cb

View file

@ -199,6 +199,7 @@ TODO: compare performance of new GC to old one, perhaps with benchmarks (compare
Graph benchmarks in the google docs spreadsheet
Benchmark | 0.8.1 | 0.9 | Reduced Time
--------- | ----- | --- | ------------
browse | 25.34 | 22.21 | 87.65%
deriv | 17.17 | 10.83 | 63.10%
destruc | 38.00 | 30.94 | 81.41%