diff options
author | 2017-01-30 21:08:29 +0100 | |
---|---|---|
committer | 2017-02-06 15:36:31 +0100 | |
commit | aa60931752217a7bf0536acae4e7858f48eb8c8e (patch) | |
tree | 130e9acb937787fc0673f00bd8ad4a313268432c /tools | |
parent | dec77f282575842ff5369e732c0acfaf99d75037 (diff) |
fix Emacs compiler warning on '(lambda...)
lambda is self-quoting, see elisp manual, section 12.7 Anonymous
Functions
Diffstat (limited to 'tools')
-rw-r--r-- | tools/gallina-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gallina-db.el b/tools/gallina-db.el index baabebb13..9664f69f8 100644 --- a/tools/gallina-db.el +++ b/tools/gallina-db.el @@ -163,7 +163,7 @@ for DB structure." (defun coq-sort-menu-entries (menu) (sort menu - '(lambda (x y) (string< + (lambda (x y) (string< (downcase (elt x 0)) (downcase (elt y 0)))))) |