diff options
| -rw-r--r-- | polly/www/todo.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/www/todo.html b/polly/www/todo.html index e0856f66447..8cd7322b5d6 100644 --- a/polly/www/todo.html +++ b/polly/www/todo.html @@ -85,8 +85,8 @@ grained statements</a> </td></tr> <tr> <th align="left"> Assume static sized arrays are only accessed in-bounds -</th><td align="center" class='nice'>Open -</td><td>Zino +</th><td align="center" class='done'>Done +</td><td>Tobias </td></tr> <tr><td colspan='4'> </td></tr> <tr><th colspan="3" style="background: rgb(239, 239, 239);"> Optimizer </th></tr> |
