diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-04-24 13:19:24 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 15:19:24 +0200 |
| commit | 07c2f65903ff83e0797ceaf627ac858f7ce74377 (patch) | |
| tree | ec7f0d0fcbdadb1b0fa356643c01712691aa2a6b /gcc/tree-scalar-evolution.c | |
| parent | 7fab69059ec2423d61dfd7b5b30b0d5fc2173f9a (diff) | |
| download | gcc-07c2f65903ff83e0797ceaf627ac858f7ce74377.zip gcc-07c2f65903ff83e0797ceaf627ac858f7ce74377.tar.gz gcc-07c2f65903ff83e0797ceaf627ac858f7ce74377.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-scalar-evolution.c')
0 files changed, 0 insertions, 0 deletions