diff options
Diffstat (limited to 'gcc/ada/inline.adb')
| -rw-r--r-- | gcc/ada/inline.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index bb26c46..0d16aff 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1504,7 +1504,7 @@ package body Inline is Id : Entity_Id; -- Procedure or function entity for the subprogram - -- Start of Can_Be_Inlined_In_GNATprove_Mode + -- Start of processing for Can_Be_Inlined_In_GNATprove_Mode begin pragma Assert (Present (Spec_Id) or else Present (Body_Id)); |