Fix mapping for adding initial clause#13

vmarkushin wants to merge 1 commit intoedwinb:masteredwinb/idris2-vim:masterfrom

vmarkushin:patch-1vmarkushin/idris2-vim:patch-1Copy head branch name to clipboard