2013-04-24 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 13:19:24 +0000 (13:19 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 13:19:24 +0000 (13:19 +0000)
commit6c73bbed49abc4402291b9d8c41dfb48508ef4e8
treeec7f0d0fcbdadb1b0fa356643c01712691aa2a6b
parent36f6506123e49d090499dfb199a487aa7a44f39e
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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198231 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnat_rm.texi
gcc/ada/sem_prag.adb