CVS difference for ai12s/ai12-0311-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file 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