Remove extra the (#1213)

Language/Classes/Superinterfaces/syntax_t01.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A class has a set of direct superinterfaces. This set includes
-/// the interface of its superclass and the interfaces specified in the the
+/// the interface of its superclass and the interfaces specified in the
 /// implements clause of the class.
 /// interfaces:
 ///   implements typeList

Language/Classes/Superinterfaces/syntax_t02.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A class has a set of direct superinterfaces. This set includes
-/// the interface of its superclass and the interfaces specified in the the
+/// the interface of its superclass and the interfaces specified in the
 /// implements clause of the class.
 /// interfaces:
 ///   implements typeList

Language/Classes/Superinterfaces/syntax_t03.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion A class has a set of direct superinterfaces. This set includes
-/// the interface of its superclass and the interfaces specified in the the
+/// the interface of its superclass and the interfaces specified in the
 /// implements clause of the class.
 /// interfaces:
 ///   implements typeList

Language/Expressions/Lookup/Method_Lookup/method_lookup_t04.dart

@@ -9,7 +9,7 @@
 /// the result of the lookup is the result of looking up m in S with respect to
 /// L. Otherwise, we say that the method lookup has failed.
 /// @description Checks that if class C declares an abstract instance method
-/// and has a superclass, then the result of lookup is the the result of
+/// and has a superclass, then the result of lookup is the result of
 /// lookup in the superclass.
 /// @author ilya
 

Language/Expressions/Throw/stack_trace_t01.dart

@@ -4,7 +4,7 @@
 
 /// @assertion If the object being thrown is an instance of class Error or a
 /// subclass thereof, its stackTrace getter will return the stack trace current
-/// at the point where the the object was first thrown.
+/// at the point where the object was first thrown.
 /// @description Checks that if thrown object is an instance of Error or its
 /// subclass the stackTrace getter contains the stack trace.
 /// @author ilya

Language/Functions/Formal_Parameters/Optional_Formals/syntax_t14.dart

@@ -10,7 +10,7 @@
 /// defaultNamedParameter:
 ///   normalFormalParameter (':' expression)?
 /// ;
-/// @description Checks that it is no error when the the '=' character is used in
+/// @description Checks that it is no error when the '=' character is used in
 /// an optional named parameter declaration.
 /// @author rodionov
 /// @author [email protected]

Language/Functions/Formal_Parameters/Optional_Formals/syntax_t15.dart

@@ -10,7 +10,7 @@
 /// defaultNamedParameter:
 ///   normalFormalParameter (':' expression)?
 /// ;
-/// @description Checks that it is a compile-time error when the the ':'
+/// @description Checks that it is a compile-time error when the ':'
 /// character is used in an optional positional parameter declaration.
 /// @author rodionov
 

Language/Statements/Break/label_t01.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t02.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t03.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t04.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t05.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t06.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t07.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t08.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t09.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t10.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t11.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Break/label_t12.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sb be a break statement. If sb is of the form break L;, then
-/// let sE be the the innermost labeled statement with label L enclosing sb. If
+/// let sE be the innermost labeled statement with label L enclosing sb. If
 /// sb is of the form break;, then let sE be the innermost do, for, switch or
 /// while statement enclosing sb. It is a compile-time error if no such statement
 /// sE exists within the innermost function in which sb occurs.

Language/Statements/Continue/control_transfer_t02.dart

@@ -9,7 +9,7 @@
 /// transferred to the case clause. Otherwise, sE is necessarily a loop and
 /// execution resumes after the last statement in the loop body.
 /// @description Checks that the execution of "continue L;" statement transfers
-/// control to the the innermost enclosing 'for' statement with the appropriate
+/// control to the innermost enclosing 'for' statement with the appropriate
 /// label and that all finally clauses between them are executed in the
 /// innermost-clause-first order.
 /// @author rodionov

Language/Statements/Continue/control_transfer_t03.dart

@@ -9,7 +9,7 @@
 /// transferred to the case clause. Otherwise, sE is necessarily a loop and
 /// execution resumes after the last statement in the loop body.
 /// @description Checks that the execution of "continue L;" statement transfers
-/// control to the the innermost enclosing 'for' statement with the appropriate
+/// control to the innermost enclosing 'for' statement with the appropriate
 /// label and that all finally clauses between them are executed in the
 /// innermost-clause-first order.
 /// @author rodionov

Language/Statements/Continue/label_t01.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t02.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t03.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t04.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t05.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t06.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t07.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t08.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t09.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t10.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t11.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t12.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t13.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t14.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t15.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t16.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/Continue/label_t17.dart

@@ -3,7 +3,7 @@
 // BSD-style license that can be found in the LICENSE file.
 
 /// @assertion Let sc be a continue statement. If sc is of the form continue L;,
-/// then let sE be the the innermost labeled do, for or while statement or case
+/// then let sE be the innermost labeled do, for or while statement or case
 /// clause with label L enclosing sc. If sc is of the form continue; then let sE
 /// be the innermost do, for or while statement enclosing sc.
 /// It is a compile-time error if no such statement or case clause sE exists

Language/Statements/For/For_in/execution_t01.dart

@@ -13,7 +13,7 @@
 /// that for purposes of static typechecking, it is checked under the assumption
 /// that n0 is declared to be of type T, where T is the static type of e.iterator.
 /// @description Checks that a for statement of the form
-/// for (finalConstVarOrType? id in e) s is equivalent to the the following code:
+/// for (finalConstVarOrType? id in e) s is equivalent to the following code:
 /// var n0 = e.iterator; while (n0.moveNext()) { varOrType? id = n0.current; s }
 /// @author vasya