clean benchmarks

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index af53e441dfccdd50babce9f2be82453db3ee77d9..88957b94bf5e6b1eb922abee1753729891652c6e 100644 (file)
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -10,7 +10,7 @@ From commit:
 
 <!-- markdownlint-capture -->
 <!-- markdownlint-disable MD033 -->
-Restore the <table><tr><td align="center" style="border:none">
+<table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh
 </td></tr></table>
 <!-- markdownlint-restore -->