This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r198231 - in /trunk/gcc/ada: ChangeLog gnat_rm....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Wed, 24 Apr 2013 13:19:24 -0000
- Subject: r198231 - in /trunk/gcc/ada: ChangeLog gnat_rm....
Author: charlet
Date: Wed Apr 24 13:19:24 2013
New Revision: 198231
URL: http://gcc.gnu.org/viewcvs?rev=198231&root=gcc&view=rev
Log:
2013-04-24 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document pragma Assume.
* sem_prag.adb (Analyze_Pragma, case Assume): Now processed as
part of Assert, and no longer requires -gnatd.F
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/gnat_rm.texi
trunk/gcc/ada/sem_prag.adb