diff options
| author | Hendrik Tews | 2017-01-30 21:08:29 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2017-02-06 15:36:31 +0100 |
| commit | aa60931752217a7bf0536acae4e7858f48eb8c8e (patch) | |
| tree | 130e9acb937787fc0673f00bd8ad4a313268432c | |
| parent | dec77f282575842ff5369e732c0acfaf99d75037 (diff) | |
fix Emacs compiler warning on '(lambda...)
lambda is self-quoting, see elisp manual, section 12.7 Anonymous
Functions
| -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 baabebb13a..9664f69f8b 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)))))) |