Update engine/names/README.md

Co-authored-by: jschneider-bensch <[email protected]>
cryspen · Jan 15, 2024 · e1713bd · e1713bd
1 parent 69ef8e8
commit e1713bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/engine/names/README.md b/engine/names/README.md
@@ -30,7 +30,7 @@ Note this will also make `Option` available.
 ## How names are generated in OCaml
 The subcrate `hax-engine-names-extract` runs `cargo hax into json` on
 the crate `hax-engine-names`, and extracts all the names it finds,
-along with other informations.
+along with other information.
 
 Those names are compiled into the enumeration type
 `Concrete_ident_generated.name`. You can look at those names by