From 9bc3f266832ec50c30802f60e4af5ef88aeadc69 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 10 Dec 2007 11:47:45 +0000
Subject: Emacs compatibility/API updates: string-to-int -> string-to-number

---
 generic/proof-menu.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 1ce3c577..2333541f 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -152,7 +152,7 @@ without adjusting window layout."
   (easy-menu-define 
     proof-assistant-menu 
     proof-mode-map
-    (concat "The menu for " proof-assistant)
+    `(concat "The menu for " proof-assistant)
     (cons proof-assistant
 	    (append
 	     (proof-ass menu-entries)
-- 
cgit v1.2.3