fix Emacs compiler warning on '(lambda...)

lambda is self-quoting, see elisp manual, section 12.7 Anonymous
Functions

Author: Hendrik Tews

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))))))