diff --git a/polly/www/menu.html.incl b/polly/www/menu.html.incl index 31a177b918cf..a77635978c09 100644 --- a/polly/www/menu.html.incl +++ b/polly/www/menu.html.incl @@ -25,7 +25,7 @@ Optimizations