opt.ads: Minor documentation fix
authorRobert Dewar <dewar@adacore.com>
Fri, 1 Aug 2008 07:39:11 +0000 (09:39 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 1 Aug 2008 07:39:11 +0000 (09:39 +0200)
commit2933820e04ec15a76a023aeef3f742285d2d0656
treec7d196b94d0e95c7f6bf31dd3356c1ec6ad48335
parent2e43faea07208bdb2d94de270b6afe779998d44e
opt.ads: Minor documentation fix

2008-08-01  Robert Dewar  <dewar@adacore.com>

* opt.ads: Minor documentation fix

From-SVN: r138466
gcc/ada/opt.ads