summaryrefslogtreecommitdiff
path: root/gcc/ada/s-tasini.adb
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-29 08:51:53 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2009-07-29 08:51:53 +0000
commit1ea4332a7c4f225479f22ffd5be4b6d83954ea89 (patch)
tree8c38f3248ca1de9382b2e7ab9b2b501ff9e59308 /gcc/ada/s-tasini.adb
parentc7bc7108dfe17ffa08b134f26fe84fdde4145f9a (diff)
downloadgcc-1ea4332a7c4f225479f22ffd5be4b6d83954ea89.tar.gz
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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150201 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-tasini.adb')
-rw-r--r--gcc/ada/s-tasini.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb
index f473e0e7595..28b86cb5765 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.