~tkoskine/ada-tips commit

1 files changed, 2 insertions(+), 2 deletions(-)

M content/subtypes-of-private-types.rst

M content/subtypes-of-private-types.rst +2 -2

@@ 12,14 12,14 @@ You might for example want a subtype of 
 .. code-block:: ada
 
    subtype Past_Time is Ada.Calendar.Time
-     with Dynamic_Predicate => Past_Time < Ada.Calendar.Time.Clock;
+     with Dynamic_Predicate => Past_Time < Ada.Calendar.Clock;
 
 You could even expand this to a subtype representing values in the last hour:
 
 .. code-block:: ada
 
    subtype Last_Hour is Past_Time
-     with Dynamic_Predicate => Ada.Calendar.Time.Clock - 3600.0 <= Last_Hour;
+     with Dynamic_Predicate => Ada.Calendar.Clock - 3600.0 <= Last_Hour;
 
 Notice that while `Past_Time` is an ever expanding subtype, `Last_Hour` is an ever changing subtype, such that values which were valid earlier, not necessarily are valid now.