From 6076344b1d76a6a856625906e96794d6461fde5e Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Tue, 27 Oct 2020 14:48:49 +0100
Subject: [PATCH] Used consistent (wrong) spelling of mechanisation

---
 papers/LMCS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/papers/LMCS.md b/papers/LMCS.md
index 3772e9b..d0a3a0f 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -13,7 +13,7 @@ Subprotocols
   - Mapper: [theories/examples/swap_mapper.v](../theories/examples/swap_mapper.v)
   - List reversal: [theories/examples/list_rev.v](../theories/examples/list_rev.v)
   - LÃ¶b recursion: [theories/examples/subprotocols.v](../theories/examples/subprotocols.v)
-Mechanisation
+Mechanization
   - Program: [theories/examples/basics.v](../theories/examples/basics.v)
   - Subprotocol: [theories/examples/list_rev.v](../theories/examples/list_rev.v)
 
-- 
GitLab