diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index f5c84c8..834ddc0 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -168,9 +168,9 @@ package body SPARK_Specific is end loop; end Iterate_SPARK_Xrefs; - ------------------------------------- - -- Enclosing_Subprogram_Or_Package -- - ------------------------------------- + --------------------------------------------- + -- Enclosing_Subprogram_Or_Library_Package -- + --------------------------------------------- function Enclosing_Subprogram_Or_Library_Package (N : Node_Id) return Entity_Id |