sync1.ads: Fix error now flagged by gnat.
authorArnaud Charlet <charlet@adacore.com>
Wed, 15 Apr 2009 09:04:56 +0000 (09:04 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 15 Apr 2009 09:04:56 +0000 (11:04 +0200)
* gnat.dg/sync1.ads: Fix error now flagged by gnat.
* gnat.dg/specs/limited1.ads: Ditto.

From-SVN: r146088

gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/specs/limited1.ads
gcc/testsuite/gnat.dg/sync1.ads

index 422ef07..f55193f 100644 (file)
@@ -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
index 268eb22..375cf66 100644 (file)
@@ -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;
index 81c2f4a..3534977 100644 (file)
@@ -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;