Fix wording

frank-at-adacore · frank-at-adacore · commit 04aa6bf5188f · 2025-07-23T22:23:05.000-04:00
diff --git a/courses/ada_essentials/270_introduction_to_contracts/02-preconditions_and_postconditions.rst b/courses/ada_essentials/270_introduction_to_contracts/02-preconditions_and_postconditions.rst
@@ -144,7 +144,7 @@ Postcondition :ada:`'Old` Attribute
 Function Postcondition :ada:`'Result` Attribute
 -------------------------------------------------
 
-Function result can be manipulated with :ada:`'Result`
+Function result can be referenced by :ada:`'Result` on the function name
 
    .. code:: Ada
 
