diff options
| -rw-r--r-- | gcc/ada/einfo.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 0cc4b49..d346edd 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -4786,7 +4786,8 @@ package Einfo is -- Defined in subprogram entities. Set on wrappers created to handle -- inherited class-wide pre/post conditions that call overridden -- primitives. It references the parent primitive that has the --- class-wide pre/post conditions. +-- class-wide pre/post conditions. LSP stands for Liskov Substitution +-- Principle. --------------------------- -- Renaming and Aliasing -- |