r237682 - in /trunk/gcc/ada: ChangeLog inline.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Jun 22 09:47:02 2016
New Revision: 237682

URL: https://gcc.gnu.org/viewcvs?rev=237682&root=gcc&view=rev
Log:
2016-06-22  Arnaud Charlet  <charlet@adacore.com>

	* lib.ads: Code cleanup.
	* inline.adb: Type refinement for a counter variable.
	* lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code.
	Code cleanup.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/lib-xref-spark_specific.adb
    trunk/gcc/ada/lib.ads