From 621250b077a138bbbc4184a0d2dd037a84011504 Mon Sep 17 00:00:00 2001 From: Vladislav Date: Sat, 6 Jun 2020 23:43:48 +0500 Subject: [PATCH] Fix mapping for adding initial clause --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7fb47ef..2ee7fd4 100644 --- a/README.md +++ b/README.md @@ -54,7 +54,7 @@ commands are supported. `t` show type -`a` Create an initial clause for a type declaration. +`b` Create an initial clause for a type declaration. `c` case split