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

--- ai12s/ai12-0003-1.txt	2015/03/26 00:40:57	1.22
+++ ai12s/ai12-0003-1.txt	2015/03/26 02:14:55	1.23
@@ -101,7 +101,7 @@
 
    The Default_Storage_Pool aspect may be specified as Standard,
    which is an identifier specific to an aspect (see 13.1.1) and
-   defines the default pool to be Standard. In this case, then there shall not
+   defines the default pool to be Standard. In this case, there shall not
    be a declaration with defining_identifier Standard that is immediately
    visible at the point of the aspect specification, other than package
    Standard itself.
@@ -221,7 +221,7 @@
 
 The Default_Storage_Pool aspect may be specified as Standard, which is an
 identifier specific to an aspect (see 13.1.1) and defines the default pool to
-be Standard. In this case, then there shall not be a declaration with
+be Standard. In this case, there shall not be a declaration with
 @fa<defining_identifier> Standard that is immediately visible at the point of
 the aspect specification, other than package Standard itself.