projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fab690) | patch
gnat_rm.texi: Document pragma Assume.
authorRobert Dewar <dewar@adacore.com>
Wed, 24 Apr 2013 13:19:24 +0000 (13:19 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 24 Apr 2013 13:19:24 +0000 (15:19 +0200)
commit07c2f65903ff83e0797ceaf627ac858f7ce74377
treeec7f0d0fcbdadb1b0fa356643c01712691aa2a6btree | snapshot
parent7fab69059ec2423d61dfd7b5b30b0d5fc2173f9acommit | diff
gnat_rm.texi: Document pragma Assume.

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

From-SVN: r198231
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;