sync1.ads: Fix error now flagged by gnat.
* gnat.dg/sync1.ads: Fix error now flagged by gnat. * gnat.dg/specs/limited1.ads: Ditto. From-SVN: r146088
This commit is contained in:
parent
3b482fca4f
commit
6891bd6c71
|
@ -1,3 +1,8 @@
|
|||
2009-04-15 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* gnat.dg/sync1.ads: Fix error now flagged by gnat.
|
||||
* gnat.dg/specs/limited1.ads: Ditto.
|
||||
|
||||
2009-04-14 Michael Meissner <meissner@linux.vnet.ibm.com>
|
||||
|
||||
PR testsuite/39769
|
||||
|
|
|
@ -5,8 +5,6 @@ package limited1 is
|
|||
|
||||
type Buffer is limited interface;
|
||||
type Synchronous_Buffer_Type is synchronized interface and Buffer;
|
||||
type Client_Buffer_Type is new Synchronous_Buffer_Type with private;
|
||||
|
||||
private
|
||||
type Client_Buffer_Type is new Synchronous_Buffer_Type with null record;
|
||||
end limited1;
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
package sync1 is
|
||||
type Chopstick_Type is synchronized interface;
|
||||
|
||||
type Chopstick is new Chopstick_Type with private;
|
||||
type Chopstick is synchronized new Chopstick_Type with private;
|
||||
private
|
||||
protected type Chopstick is new Chopstick_Type with
|
||||
entry Pick_Up;
|
||||
|
|
Loading…
Reference in New Issue