diff options
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index d2e31539..29fc9b96 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -221,7 +221,7 @@ ["fun3 f3<C-BS>" (holes-insert-and-expand "f3") t] ["fun4 f4<C-BS>" (holes-insert-and-expand "f4") t] "" - ["if then else if<C-BS>" (holes-insert-and-expand "li") t] + ["if then else if<C-BS>" (holes-insert-and-expand "if") t] ["let in li<C-BS>" (holes-insert-and-expand "li") t] "" ["match m<C-BS>" (holes-insert-and-expand "m") t] |