diff --git a/benchmark/benchmark_results.html b/benchmark/benchmark_results.html index 895672d0..1736beda 100644 --- a/benchmark/benchmark_results.html +++ b/benchmark/benchmark_results.html @@ -16,7 +16,7 @@