diff options
author | Thomas Quinot <quinot@adacore.com> | 2013-01-02 09:24:58 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-01-02 10:24:58 +0100 |
commit | 8f252d27b1a28de7b0df05cd0caf826e223ffa43 (patch) | |
tree | b8fb011a72733bc5f7f95c3ff4f3c8d8186ae755 /gcc/ada/tracebak.c | |
parent | e0d7fe6dc7cd55a725891db4073df5d514e6d196 (diff) | |
download | gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.zip gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.tar.gz gcc-8f252d27b1a28de7b0df05cd0caf826e223ffa43.tar.bz2 |
scos.ads (In_Decision): Add missing entry for 'a'.
2013-01-02 Thomas Quinot <quinot@adacore.com>
* scos.ads (In_Decision): Add missing entry for 'a'.
* sem_prag.adb (Analyze_Pragma, case pragma Check): Omit
call to Set_SCO_Pragma_Enabled for Invariant and Predicate.
* sem_ch13.adb: Minor comment update.
From-SVN: r194777
Diffstat (limited to 'gcc/ada/tracebak.c')
0 files changed, 0 insertions, 0 deletions