diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-04-13 14:53:52 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:44 +0200 |
| commit | 0ac91bdbef4c3455aa469381d521f421770dbf50 (patch) | |
| tree | 2129822feb901c9766dce29af5c325f343450ba9 /gcc/ada/inline.adb | |
| parent | d18dd43c1fdfdd9efe5ade19368f3776a4fd8e3e (diff) | |
| download | gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.zip gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.tar.gz gcc-0ac91bdbef4c3455aa469381d521f421770dbf50.tar.bz2 | |
ada: Remove unreferenced routine Is_Inherited_Operation_For_Type
Remove routine that is no referenced after deconstructing of restriction
SPARK_05.
gcc/ada/
* sem_util.ads (Is_Inherited_Operation_For_Type): Remove spec.
* sem_util.adb (Is_Inherited_Operation_For_Type): Remove body.
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions