diff options
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 28f48ffd..84f28df3 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -220,7 +220,7 @@ so for the following reasons: ("refine" "ref" "refine" t "refine") ("reflexivity" "refl" "reflexivity #" t "reflexivity") ("rename into" "ren" "rename # into #" t "rename") - ("replace with" "rep" "replace # with #" t) + ("replace with" "rep" "replace # with #" t "replace") ("replace with in" "repi" "replace # with # in #" t) ("rewrite <- in" "ri<" "rewrite <- # in #" t) ("rewrite <-" "r<" "rewrite <- #" t) |