diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index e5a007b..849ff0e 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -1022,11 +1022,10 @@ package body SPARK_Specific is when N_Pragma => - -- The enclosing subprogram for a precondition, a - -- postcondition, or a contract case should be the subprogram - -- to which the pragma is attached, which can be found by - -- following previous elements in the list to which the - -- pragma belongs. + -- The enclosing subprogram for a precondition, postcondition, + -- or contract case should be the subprogram to which the + -- pragma is attached, which can be found by following + -- previous elements in the list to which the pragma belongs. if Get_Pragma_Id (Result) = Pragma_Precondition or else |