Update Notation.v

epfl-systemf · Aug 15, 2024 · ccd8ea1 · ccd8ea1
1 parent 30c44dc
commit ccd8ea1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mechanization/spec/Notation.v b/mechanization/spec/Notation.v
@@ -4,7 +4,7 @@ From Warblre Require Import Typeclasses Result Numeric Characters Errors Paramet
     WILDCARD Sections
       ["22.2.2.1"]
 <<*)
-(* + The section 22.2.2.1 does not match its the ECMASCript specification as is because of its unique format. + *)
+(* + The section 22.2.2.1 does not match the ECMASCript specification as is because of its unique format. + *)
 (** >>
     22.2.2.1 Notation