diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 11:47:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-10 11:47:45 +0000 |
commit | 9bc3f266832ec50c30802f60e4af5ef88aeadc69 (patch) | |
tree | e66da819d249c050d39ea219e724cd15a11aef52 /generic/proof-menu.el | |
parent | 95e2a29f51fb86ee958a261ac195d7e8c96d1741 (diff) |
Emacs compatibility/API updates: string-to-int -> string-to-number
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 2 |
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) |