diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-29 10:51:53 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-29 10:51:53 +0200 |
| commit | a73734f5f5f049c80fcac8ea7f3f8e7423532eab (patch) | |
| tree | 8c38f3248ca1de9382b2e7ab9b2b501ff9e59308 /gcc/ada/s-tasini.adb | |
| parent | 53b10ce9218f53b3a0b139133cf95ab31c7cc344 (diff) | |
| download | gcc-a73734f5f5f049c80fcac8ea7f3f8e7423532eab.zip gcc-a73734f5f5f049c80fcac8ea7f3f8e7423532eab.tar.gz gcc-a73734f5f5f049c80fcac8ea7f3f8e7423532eab.tar.bz2 | |
[multiple changes]
2009-07-29 Robert Dewar <dewar@adacore.com>
* exp_atag.ads, exp_atag.adb, s-tasini.adb, s-soflin.ads,
exp_disp.adb, g-socket.adb: Minor reformatting
2009-07-29 Ed Schonberg <schonberg@adacore.com>
* sem_ch7.adb (New_Private_Type): Create class-wide type after other
attributes have been established, so that they are all inherited by the
class-wide type.
* sem_cat.adb (Validate_Remote_Access_Object_Type_Declaration): Handle
properly named subtypes of class-wide types.
From-SVN: r150201
Diffstat (limited to 'gcc/ada/s-tasini.adb')
| -rw-r--r-- | gcc/ada/s-tasini.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb index f473e0e..28b86cb 100644 --- a/gcc/ada/s-tasini.adb +++ b/gcc/ada/s-tasini.adb @@ -191,8 +191,8 @@ package body System.Tasking.Initialization is end if; -- pragma Assert - -- ((Self_ID.Pending_ATC_Level >= Self_ID.ATC_Nesting_Level or else - -- Self_ID.Deferral_Level > 0)); + -- (Self_ID.Pending_ATC_Level >= Self_ID.ATC_Nesting_Level or else + -- Self_ID.Deferral_Level > 0); -- See comment in Defer_Abort on the situations in which it may be -- useful to uncomment the above assertion. |