From 443dd772d6121017bb24bfca182f1494c58ef7d2 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Wed, 29 Jan 2014 15:23:07 +0000 Subject: [PATCH] exp_ch9.adb, inline.ads: Minor reformatting. 2014-01-29 Robert Dewar * exp_ch9.adb, inline.ads: Minor reformatting. From-SVN: r207246 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/exp_ch9.adb | 4 +--- gcc/ada/inline.ads | 2 +- 3 files changed, 6 insertions(+), 4 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index cdef61ed1ed..8641cd2b7e1 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2014-01-29 Robert Dewar + + * exp_ch9.adb, inline.ads: Minor reformatting. + 2014-01-29 Tristan Gingold * exp_ch9.adb (Is_Exception_Safe): Return true if no exceptions. diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 8f78f0619f7..c9ee46cf863 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -13425,9 +13425,7 @@ package body Exp_Ch9 is -- Start of processing for Is_Exception_Safe begin - - -- When exceptions can not be propagated, the subprogram will always - -- return normaly. + -- When exceptions can't be propagated, the subprogram returns normally if No_Exception_Handlers_Set then return True; diff --git a/gcc/ada/inline.ads b/gcc/ada/inline.ads index fd0e965f3f2..651a7484c2e 100644 --- a/gcc/ada/inline.ads +++ b/gcc/ada/inline.ads @@ -100,7 +100,7 @@ package Inline is SPARK_Mode : SPARK_Mode_Type; SPARK_Mode_Pragma : Node_Id; -- SPARK_Mode for an instance is the one applicable at the point of - -- instantiation. + -- instantiation. SPARK_Mode_Pragma is the related active pragma. end record; package Pending_Instantiations is new Table.Table (