diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-09-05 14:59:30 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-12 10:16:52 +0200 |
| commit | 0f829a98d90105b8a117fac4869dfa0b2578cd6d (patch) | |
| tree | d3ff9b5976b945c58f9a4b3d96435b3bd4fa5bd5 /gcc/ada/gcc-interface/decl.cc | |
| parent | 4caf4b5ef315a8e902471fe8797e504967f66a6b (diff) | |
| download | gcc-0f829a98d90105b8a117fac4869dfa0b2578cd6d.zip gcc-0f829a98d90105b8a117fac4869dfa0b2578cd6d.tar.gz gcc-0f829a98d90105b8a117fac4869dfa0b2578cd6d.tar.bz2 | |
[Ada] Cleanup routine for handling SPARK_Mode kinds
Code cleanup; semantics is unaffected.
gcc/ada/
* sem_prag.adb (Get_SPARK_Mode_Type): Fix header box; replace
chained IF with a CASE statement.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.cc')
0 files changed, 0 insertions, 0 deletions