projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f50597) | patch
gnat_rm.texi: Document pragma Assert_And_Cut.
authorRobert Dewar <dewar@adacore.com>
Wed, 24 Apr 2013 13:18:21 +0000 (13:18 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 24 Apr 2013 13:18:21 +0000 (15:18 +0200)
commit7fab69059ec2423d61dfd7b5b30b0d5fc2173f9a
treebd8fedb5ef8a844095d0deffb14e0c2bb235b71dtree
parent1f50597830e668d54c3c08c26027e64ad92db85fcommit | diff
gnat_rm.texi: Document pragma Assert_And_Cut.

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.

From-SVN: r198230
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history