2013-04-24 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 13:18:21 +0000 (13:18 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 24 Apr 2013 13:18:21 +0000 (13:18 +0000)
commit36f6506123e49d090499dfb199a487aa7a44f39e
treebd8fedb5ef8a844095d0deffb14e0c2bb235b71d
parent52aec267428d8d113976cce0cf22c2dd1d28b6f7
2013-04-24  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document pragma Assert_And_Cut.
* sem_prag.adb (Analyze_Pragma, case Assert_And_Cut): Remove
S14_Pragma call.

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