diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 10:03:22 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 10:03:22 +0000 |
commit | 355b108aa856e3118f721c4f169bd86186ad8ce3 (patch) | |
tree | 3b93f618e53283722e5267c37cf63e0c086ee2d0 /coq/coq-abbrev.el | |
parent | 2086154e7f462f1a73bfb6b99d179f86c39d1936 (diff) |
Fixed a problem with a wrong side effect on syntax databases (when
sorting for menus).
Diffstat (limited to 'coq/coq-abbrev.el')
-rw-r--r-- | coq/coq-abbrev.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 6f156a8c..ba1c2f3d 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -31,7 +31,6 @@ (defconst coq-tacticals-abbrev-table (coq-build-abbrev-table-from-db coq-tacticals-db)) - (defconst coq-commands-menu (append '("INSERT COMMAND" ["Module/Section (smart)" coq-insert-section-or-module t] |