From f8a6f5d1e4877a0a5fdfc97ef770375207c3af32 Mon Sep 17 00:00:00 2001
From: Yusuke Matsushita <y.skm24t@gmail.com>
Date: Sat, 2 Apr 2022 04:41:02 +0900
Subject: [PATCH] Minor fix

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cf222c84..8d4fe84b 100644
--- a/README.md
+++ b/README.md
@@ -103,7 +103,7 @@ The filenames are spread across `theories/typing/examples`, `theories/typing`, `
 | `inc_cell`          | `inc_cell.v`      | `inc_cell_type`          |
 | **`Mutex`**         |                   |                          |
 | `new`               | `mutex.v`         | `mutex_new_type`         |
-| `get_mut`           | `mutex.v`         | `mutex_get_uniq`          |
+| `get_mut`           | `mutex.v`         | `mutex_get_uniq`         |
 
 ### Key Type(-Spec) Rules --- from the RustBelt Paper
 
-- 
GitLab