diff options
| -rw-r--r-- | coq/coq-db.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index 10c6c25d..a0d671ef 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -183,9 +183,9 @@ for DB structure." (defun coq-sort-menu-entries (menu) (sort menu - '(lambda (x y) (string< - (downcase (elt x 0)) - (downcase (elt y 0)))))) + #'(lambda (x y) (string< + (downcase (elt x 0)) + (downcase (elt y 0)))))) (defun coq-build-menu-from-db (db &optional size) "Take a keyword database DB and return a list of insertion menus for them. |