From 551fbc9b840659f79d472885997f4e1bc7a4c183 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicholas=20Schultz-M=C3=B8ller?= Date: Thu, 1 Aug 2024 08:17:49 +0200 Subject: [PATCH] Fix typo. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e146db2..c875503 100644 --- a/README.md +++ b/README.md @@ -197,7 +197,7 @@ Although the absence of bugs cannot be guaranteed, these approaches have been us - Minimal usage of Unsafe blocks. - High test coverage. - All tests are run on Miri in CI/CD. -- Verification in TLA+ (see the `verification/` folder). +- Verification in TLA+ (see the `verification/` folder). # Performance