binde.adb (Better_Choice, [...]): Implement new preferences.
authorRobert Dewar <dewar@adacore.com>
Tue, 31 Oct 2006 17:50:31 +0000 (18:50 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 31 Oct 2006 17:50:31 +0000 (18:50 +0100)
commitbd8b9b1eae48aaa4350ab55e3175c4394b9e30c9
tree50f8d6629ae5458408e64707b814202ea10dfdde
parentbfef8d0d62ede027e717a7ab1900bee71b54e708
binde.adb (Better_Choice, [...]): Implement new preferences.

2006-10-31  Robert Dewar  <dewar@adacore.com>

* binde.adb (Better_Choice, Worse_Choice): Implement new preferences.

From-SVN: r118245
gcc/ada/binde.adb