* gnat.dg/sync1.ads: Fix error now flagged by gnat.
* gnat.dg/specs/limited1.ads: Ditto.
From-SVN: r146088
+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
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;
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;