2014-01-29 Robert Dewar <dewar@adacore.com>

	* exp_ch9.adb, inline.ads: Minor reformatting.

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

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cdef61ed1edf1b1d9ac1125aeefeb75a94a95ddc..8641cd2b7e1cc36e1cc9dfe2fe72b2f830efae42 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2014-01-29  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch9.adb, inline.ads: Minor reformatting.
+
 2014-01-29  Tristan Gingold  <gingold@adacore.com>
 
        * 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 8f78f0619f776ba0ed807757f280ab94a741721e..c9ee46cf8631ea3c57757e600ab6069574639324 100644 (file)
--- 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 fd0e965f3f2304881fb250fa7872bf709a019c65..651a7484c2e7c7d1413ff780191bc357515b0b8b 100644 (file)
--- 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 (