CVS difference for ais/ai-00286.txt

--- ais/ai-00286.txt	2002/03/13 00:48:29	1.2
+++ ais/ai-00286.txt	2002/03/13 00:53:03	1.3
@@ -57,7 +57,7 @@
 
 An Assertion_Policy pragma is a configuration pragma that specifies
 the assertion policy in effect for the compilation units to which it
-applies.  Different policies may pertain to different compilation
+applies. Different policies may pertain to different compilation
 units within the same partition.
 
 An assertion policy specifies how an Assert pragma is interpreted by the
@@ -75,7 +75,7 @@
 
 If the policy is "Evaluate_And_Assume_True" at the point of the check,
 the boolean expression is evaluated (for side effects), but the
-implementation may assume the evaluation will return True.  If in fact
+implementation may assume the evaluation will return True. If in fact
 the boolean expression evaluates to False, the execution of the
 program is erroneous.
 
@@ -98,7 +98,7 @@
 !discussion
 
 This AI attempts to standardize the Assert pragma already supported
-by various implementations.  The package and exception name
+by various implementations. The package and exception name
 are probably not the same as any existing implementation, but
 presumably exception and subprogram renaming can be used to provide
 backward compatibility.
@@ -119,7 +119,7 @@
 
 Both Assume_True and Evaluate_And_Assume_True policies are provided.
 They are equivalent if the boolean expression has no side effects
-(when it evaulates to True).  However, given the possibility of
+(when it evaulates to True). However, given the possibility of
 side-effects if the expression includes function calls, the two
 represent different implementation approaches.