diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 14:16:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-08-16 14:16:37 +0000 |
| commit | 2180fff17b244357998bd17e40743e2cf0e9d77d (patch) | |
| tree | 998af49ea67c3cf053f097fef1ce1117e018292e /coq/coq-db.el | |
| parent | e1e5d939f89c9c3493b1cc84c595d2de41830d60 (diff) | |
Fix lambda quote
Diffstat (limited to 'coq/coq-db.el')
| -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. |