From aa60931752217a7bf0536acae4e7858f48eb8c8e Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Mon, 30 Jan 2017 21:08:29 +0100
Subject: fix Emacs compiler warning on '(lambda...)

lambda is self-quoting, see elisp manual, section 12.7 Anonymous
Functions
---
 tools/gallina-db.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))))))
 
-- 
cgit v1.2.3