CVS difference for ai12s/ai12-0311-1.txt
--- ai12s/ai12-0311-1.txt 2019/02/27 04:11:27 1.3
+++ ai12s/ai12-0311-1.txt 2019/03/01 06:38:10 1.4
@@ -184,12 +184,12 @@
@dinss
@xbullet<The following checks correspond to situations in which the
exception Assertion_Error is raised upon failure of a language-defined
-check. For a language-defined unit U associated with one of these
+check. For a language-defined unit @i<U> associated with one of these
checks in the list below, the check refers to performance of checks
associated with the Pre, Static_Predicate, and Dynamic_Predicate
-aspects associated with any entity declared in a descendant of U, or
+aspects associated with any entity declared in a descendant of @i<U>, or
in an instance of a generic unit which is, or is declared in, a
-descendant of U. Each check is associated with one or more units:>
+descendant of @i<U>. Each check is associated with one or more units:>
@xhang<@xterm<Calendar_Assertion_Check>Calendar.>
Questions? Ask the ACAA Technical Agent