diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-11-03 19:34:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-27 04:15:53 -0500 |
| commit | 3e9238fa6435af6361fdb807525de75e1b306263 (patch) | |
| tree | 22fd9b5a9142a3b65aa1245b3938c5408d61b196 /gcc/ada/doc | |
| parent | e2df202345674e28d19df035f5a206fadb6d8f8c (diff) | |
| download | gcc-3e9238fa6435af6361fdb807525de75e1b306263.zip gcc-3e9238fa6435af6361fdb807525de75e1b306263.tar.gz gcc-3e9238fa6435af6361fdb807525de75e1b306263.tar.bz2 | |
[Ada] Assertion_Policy is not a valid assertion policy
gcc/ada/
* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
"Assertion_Policy"
Diffstat (limited to 'gcc/ada/doc')
0 files changed, 0 insertions, 0 deletions