diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 13:04:53 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 13:04:53 +0000 |
| commit | 7126560d1e2fa579801818e87f667614471ec50c (patch) | |
| tree | 6a0e0fff21176dc132bcca6f1539c88225e70bb0 /libjava/classpath/gnu/java/security/OID.java | |
| parent | 9129c28f1691401b23f88e00e1b6b0fe5c1dc4a5 (diff) | |
| download | ppe42-gcc-7126560d1e2fa579801818e87f667614471ec50c.tar.gz ppe42-gcc-7126560d1e2fa579801818e87f667614471ec50c.zip | |
2013-10-10 Yannick Moy <moy@adacore.com>
* errout.adb (Compilation_Errors): In formal verification mode,
always return False.
2013-10-10 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Collect_Hidden_States_In_Decls): Only consider source
non-constant objects.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203372 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/gnu/java/security/OID.java')
0 files changed, 0 insertions, 0 deletions
