r220290 - in /trunk/gcc/ada: ChangeLog a-assert...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Jan 30 15:31:01 2015
New Revision: 220290

URL: https://gcc.gnu.org/viewcvs?rev=220290&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-assert.adb
    trunk/gcc/ada/sem_ch13.adb
    trunk/gcc/ada/sem_eval.adb
    trunk/gcc/ada/types.ads