diff --git a/polly/docs/Performance.rst b/polly/docs/Performance.rst index 51716e0e6b69..4be9614352ad 100644 --- a/polly/docs/Performance.rst +++ b/polly/docs/Performance.rst @@ -36,8 +36,6 @@ The following versions are used: For both cases the whole compilation was performed five times. The compile times in seconds are shown in the following table. -+----------------------------+ -| Compile Time | +--------------+-------------+ |Polly Disabled|Polly Enabled| +==============+=============+