diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:49:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-04 19:49:50 +0000 |
| commit | 09929d6f496ed36d08988dc5397af97fb486d7ff (patch) | |
| tree | aaba0e14c381e2a168b04b5e2617976165104e44 /generic/proof-utils.el | |
| parent | 79ba02419da4f6371cc64e881859858be3d82711 (diff) | |
replace-in-string -> replace-regexp-in-string
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 98fb6e99..41988176 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -707,7 +707,7 @@ The name of the defined function is returned." (defun proof-escape-keymap-doc (string) ;; avoid work of substitute-command-keys - (replace-in-string string "\\\\" "\\\\=\\\\")) + (replace-regexp-in-string "\\\\" "\\\\=\\\\" string)) (defmacro proof-defshortcut (fn string &optional key) "Define shortcut function FN to insert STRING, optional keydef KEY. @@ -736,8 +736,7 @@ KEY is added onto proof-assistant map." (defun ,fn () ,(concat "Command to send " (if (stringp string) - (replace-in-string - string "\\\\" "\\\\=") ;; for substitute-command-keys + (proof-escape-keymap-doc string) "an instruction") " to the proof assistant.") (interactive) |