a-assert.adb: Minor reformatting.
authorRobert Dewar <dewar@adacore.com>
Fri, 30 Jan 2015 15:31:01 +0000 (15:31 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 30 Jan 2015 15:31:01 +0000 (16:31 +0100)
commit622599c6d2359ad2f43445754be185b0b177430a
treee0c41518ab48b912730cce663dd22e701f2c51b3
parent0d1476cb57fbc0f647fd681ae1255ace57f5cb06
a-assert.adb: Minor reformatting.

2015-01-30  Robert Dewar  <dewar@adacore.com>

* a-assert.adb: Minor reformatting.
* sem_ch13.adb: Minor comment clarification.
* types.ads: Minor comment update.
* sem_eval.adb (Real_Or_String_Static_Predicate_Matches): Avoid blow up
when we have a predicate that is nothing but an inherited dynamic
predicate.

From-SVN: r220290
gcc/ada/ChangeLog
gcc/ada/a-assert.adb
gcc/ada/sem_ch13.adb
gcc/ada/sem_eval.adb
gcc/ada/types.ads