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 /libjava/classpath/lib/gnu/java/security/hash/BaseHash.class | |
| 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 'libjava/classpath/lib/gnu/java/security/hash/BaseHash.class')
0 files changed, 0 insertions, 0 deletions
