diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-22 10:48:43 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-22 10:48:43 +0000 |
| commit | 33f4cefa88ccca1748ad2753a4e05718d8183253 (patch) | |
| tree | ba69859d868381db02bf86838cd807771259e604 /gcc/ada/sem_res.adb | |
| parent | 7e258f4269792f6af0534da96792a08b82959ac8 (diff) | |
| download | gcc-33f4cefa88ccca1748ad2753a4e05718d8183253.tar.gz | |
2013-04-22 Robert Dewar <dewar@adacore.com>
* sem_prag.adb, sem_util.adb, sem_util.ads, sem_res.adb, exp_ch6.adb,
sem_ch6.adb, opt.ads: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198132 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_res.adb')
| -rw-r--r-- | gcc/ada/sem_res.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 63bbef6645b..99fd9d52ab1 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -5899,8 +5899,7 @@ package body Sem_Res is if Nkind (N) = N_Function_Call and then Is_Tagged_Type (Etype (N)) and then Is_Entity_Name (Name (N)) - and then Is_Inherited_Operation_For_Type - (Entity (Name (N)), Etype (N)) + and then Is_Inherited_Operation_For_Type (Entity (Name (N)), Etype (N)) then Check_SPARK_Restriction ("function not inherited", N); end if; |