diff options
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) |