From 4ccf835beee138c88f30fe2d3b08128a0fdbaa93 Mon Sep 17 00:00:00 2001 From: Hanno Becker Date: Fri, 13 Dec 2024 06:41:50 +0000 Subject: [PATCH] README: Fix broken link Signed-off-by: Hanno Becker --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 39663b03b..2e47d2009 100644 --- a/README.md +++ b/README.md @@ -98,7 +98,7 @@ as templates. If your library has a FIPS-202 implementation, you can use it instead of the one shipped with mlkem-native: Replace [`fips202/*`](fips202) by your FIPS-202 implementation, and make sure to include replacements for the headers -[`fips202/fips202.h`](fips202/fips202.h) and [`fips202/fips202x4.h`] and the functionalities specified +[`fips202/fips202.h`](fips202/fips202.h) and [`fips202/fips202x4.h`](fips202/fips202x4.h) and the functionalities specified therein. See [FIPS202.md](FIPS202.md) for details. ### Do I need to setup CBMC to use mlkem-native?