diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-27 19:02:21 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-27 19:02:21 +0200 |
commit | e2f1a90fb0061b6a1c969955f9957a8c8b1f7ed1 (patch) | |
tree | cb882d15e3cd8f3e758a60f481e162ee14ec337c /coq/coq-syntax.el | |
parent | aff6697e7c2ad645ad54d29da12d65aded5e038a (diff) |
Fixing a smal glitch in indentation.
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index a349ec55..1ca363cc 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -187,8 +187,8 @@ so for the following reasons: ("eleft" "eleft" "eleft" t "eleft") ("elim using" "elu" "elim # using #" t) ("elim" "e" "elim #" t "elim") - ("elimtype" "elt" "elimtype" "elimtype") - ("enough" "eng" "enough (#: #).\n{ #\n}" "elimtype") + ("elimtype" "elt" "elimtype" t "elimtype") + ("enough" "eng" "enough (#: #).\n{ #\n}" t "enough") ("erewrite" "er" "erewrite #" t "erewrite") ("eright" "erig" "eright" "eright") ("esplit" "esp" "esplit" t "esplit") |