Merge pull request #235 from 0xADE1A1DE/javali7-patch-1

Fix typo Readme.md
0xADE1A1DE · Nov 16, 2023 · c089d8c · c089d8c
2 parents 4d65866 + 6e5c854
commit c089d8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Readme.md b/Readme.md
@@ -27,7 +27,7 @@ If you want to optimize on your own machine, or a different primitive you can
 1. Follow the instructions [in the INSTALL document](./INSTALL.md).
 1. Run `./CryptOpt --help` to check if the installation worked.
 1. Run `./CryptOpt` to see an optimization in action.
-1. Follow the instructions [in the Frist Steps document](./First_Steps.md) to get a feeling of what is going on.
+1. Follow the instructions [in the First Steps document](./First_Steps.md) to get a feeling of what is going on.
 
 The CryptOpt optimizer can also be used with non-Fiat Cryptography input. For more information see the `./test/manual-bridge/`