aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2007-12-10 11:47:45 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2007-12-10 11:47:45 +0000
commit9bc3f266832ec50c30802f60e4af5ef88aeadc69 (patch)
treee66da819d249c050d39ea219e724cd15a11aef52 /generic/proof-menu.el
parent95e2a29f51fb86ee958a261ac195d7e8c96d1741 (diff)
Emacs compatibility/API updates: string-to-int -> string-to-number
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r--generic/proof-menu.el2
1 files changed, 1 insertions, 1 deletions
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)