From 17d6541cc976065da53cf4ff372c72fa59713114 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 19:38:05 +0000
Subject: Avoid easy-menu-define macro

---
 generic/proof-menu.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 23276241..8d14c72d 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -148,11 +148,11 @@ without adjusting window layout."
 
 ;;;###autoload
 (defun proof-menu-define-specific ()
-  `(easy-menu-define
-     proof-assistant-menu
-     proof-mode-map
-     ,(concat "The menu for " proof-assistant)
-     ,(cons proof-assistant
+  (easy-menu-do-define
+   'proof-assistant-menu
+   proof-mode-map
+   (concat "The menu for " proof-assistant)
+   (cons proof-assistant
 	    (append
 	     (proof-ass menu-entries)
 	     '("----")
-- 
cgit v1.2.3