fix some typos

Signed-off-by: cui fliter <imcusg@gmail.com>
2026-08-03 05:08:14 +00:00 · 2022-08-05 20:10:20 +08:00
parent 8d1f46d837
commit dc8b7a0eb8
9 changed files with 13 additions and 13 deletions
@@ -30,6 +30,6 @@ equivalence.

 For the most part, alterations to the base fiat-crypto generated code was
 kept to a minimum, to aid auditability.  This results in a somewhat
-ideosyncratic style, and in some cases minor performance penalties.
+idiosyncratic style, and in some cases minor performance penalties.

 [1]: https://github.com/mit-plv/fiat-crypto