2009-07-30 Robert Dewar <dewar@adacore.com>

	* a-teioed.adb, exp_disp.adb, s-linux-hppa.ads, s-linux.ads,
	s-tasini.adb, sem_ch13.adb, sem_ch3.adb, sem_ch3.ads, sem_ch6.adb,
	sem_ch7.adb: Minor reformatting



git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150251 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 4 insertions, 3 deletions

diff --git a/gcc/ada/s-tasini.adb b/gcc/ada/s-tasini.adb
index 28b86cb5765..cacd86c4c22 100644
--- a/gcc/ada/s-tasini.adb
+++ b/gcc/ada/s-tasini.adb
@@ -190,13 +190,14 @@ package body System.Tasking.Initialization is
          return;
       end if;
 
+      --  The following assertion is by default disabled. See the comment in
+      --  Defer_Abort on the situations in which it may be useful to uncomment
+      --  this assertion and enable the test.
+
       --  pragma Assert
       --    (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.
-
       Self_ID.Deferral_Level := Self_ID.Deferral_Level + 1;
    end Defer_Abort_Nestable;