From d3e16619ae38fba5a464064046114a6638d1816f Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 30 Jul 2014 15:53:11 +0200 Subject: [multiple changes] 2014-07-30 Vincent Celier * debug.adb: Minor comment update. 2014-07-30 Robert Dewar * s-tasuti.adb, s-tassta.adb: Minor reformatting. * sprint.adb (Sprint_Node): Handle N_Contract case. * exp_prag.adb: Minor reformatting. * freeze.adb (Freeze_Entity): Check useless postcondition for No_Return subprogram. * sem_prag.adb: Minor reformatting. 2014-07-30 Javier Miranda * a-tags.ads: Complete comments about performance. 2014-07-30 Fedor Rybin * gnat_ugn.texi: Adding description for --exit-status option to gnattest section. Fixing index entry of --passed-tests option in gnattest section. 2014-07-30 Javier Miranda * Makefile.rtl, gnat_rm.texi, i-cpp.adb, i-cpp.ads, impunit.adb, rtsfind.ads: Remove references to package Interfaces.CPP since this package is no longer needed. From-SVN: r213270 --- gcc/ada/s-tasuti.adb | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'gcc/ada/s-tasuti.adb') diff --git a/gcc/ada/s-tasuti.adb b/gcc/ada/s-tasuti.adb index 40446fc..1a64448 100644 --- a/gcc/ada/s-tasuti.adb +++ b/gcc/ada/s-tasuti.adb @@ -477,8 +477,7 @@ package body System.Tasking.Utilities is (Self_ID, "Make_Passive: Phase 1, parent waiting", 'M')); -- If parent is in Master_Completion_Sleep, it cannot be on a - -- terminate alternative, hence it cannot have Wait_Count of - -- zero. + -- terminate alternative, hence it cannot have Wait_Count of zero. pragma Assert (P.Common.Wait_Count > 0); P.Common.Wait_Count := P.Common.Wait_Count - 1; @@ -489,8 +488,7 @@ package body System.Tasking.Utilities is else pragma Debug - (Debug.Trace - (Self_ID, "Make_Passive: Phase 1, parent awake", 'M')); + (Debug.Trace (Self_ID, "Make_Passive: Phase 1, parent awake", 'M')); null; end if; -- cgit v1.1