diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-08-20 09:48:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-20 09:48:02 +0000 |
| commit | b6ad3c0844bd20dece60aa20ccd3a196d34290d9 (patch) | |
| tree | 048a29a3845164ff05b83eee1463d63b74048858 /gcc/ada/sem_spark.adb | |
| parent | 2beee64ae080305808720f839b6ca7bc280aed74 (diff) | |
| download | gcc-b6ad3c0844bd20dece60aa20ccd3a196d34290d9.zip gcc-b6ad3c0844bd20dece60aa20ccd3a196d34290d9.tar.gz gcc-b6ad3c0844bd20dece60aa20ccd3a196d34290d9.tar.bz2 | |
[Ada] Revert change for gnatprove that is no longer needed
Years ago, we adapted Get_Kind_Of_Unit so that gnatprove could use it to
detect both bodies and specs of predefined units.
However, this wasn't really needed: gnatprove could simply reuse
Lib.In_Predefined_Unit and now it does. This patch simply reverts two
commits mentioned above.
No frontend test provided, because the removed comment is clear that this
doesn't affect the compiler. Other tools similarly should not be affected
(at least they were not when this change was introduced in 2012).
2019-08-20 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* impunit.adb (Get_Kind_Of_Unit): Revert change for adapting
this routine for gnatprove.
From-SVN: r274718
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions