sem_util.ads (Find_Overridden_Synchronized_Primitive): Removed.
authorJavier Miranda <miranda@adacore.com>
Wed, 28 May 2008 15:34:05 +0000 (17:34 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 28 May 2008 15:34:05 +0000 (17:34 +0200)
commit8aa15e3bf0f1e38966c421f536bf9f6e95b32776
treeaf05cd7d74103d2d9a22544ec77a8f7f862f0ec2
parent9800ef594c9e73b5bd04ba27924384cf4d73a127
sem_util.ads (Find_Overridden_Synchronized_Primitive): Removed.

2008-05-28  Javier Miranda  <miranda@adacore.com>

* sem_util.ads (Find_Overridden_Synchronized_Primitive): Removed.
* sem_util.adb (Find_Overridden_Synchronized_Primitive): Removed.
* sem_ch6.adb (Check_Synchronized_Overriding): Remove one formal.
Add code that was previously located in
Find_Overridden_Synchronized_Primitive because it is only used here.

From-SVN: r136105
gcc/ada/sem_ch6.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads