From 56db9b4f1ee598083da0caf52b326cdb7a7e5758 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Thu, 10 Jan 2019 10:48:05 -0500 Subject: fix typo in README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index 5417ee120..402815e9a 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -naFiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives +Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives ===== Building -- cgit v1.2.3