Added one entry in the coq insert command menu (hint rewrite).

1 files changed, 1 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 867d8fd5..57c1836a 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -119,6 +119,7 @@
      ["hint Constructors     hc<C-BS>" (insert-and-expand "hc") t]
      ["hint Immediate        hi<C-BS>" (insert-and-expand "hi") t]
      ["hint Resolve          hr<C-BS>" (insert-and-expand "hr") t]
+     ["hint Rewrite          hrw<C-BS>" (insert-and-expand "hrw") t]
      ["hint extern           he<C-BS>" (insert-and-expand "he") t]
      ["hints                 hs<C-BS>" (insert-and-expand "hs") t]
      ""