diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-24 13:19:24 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-24 13:19:24 +0000 |
commit | 6c73bbed49abc4402291b9d8c41dfb48508ef4e8 (patch) | |
tree | ec7f0d0fcbdadb1b0fa356643c01712691aa2a6b /gcc/vec.c | |
parent | 36f6506123e49d090499dfb199a487aa7a44f39e (diff) | |
download | ppe42-gcc-6c73bbed49abc4402291b9d8c41dfb48508ef4e8.tar.gz ppe42-gcc-6c73bbed49abc4402291b9d8c41dfb48508ef4e8.zip |
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
Diffstat (limited to 'gcc/vec.c')
0 files changed, 0 insertions, 0 deletions