diff options
| author | David Aspinall | 2009-09-04 19:49:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 19:49:50 +0000 |
| commit | 09929d6f496ed36d08988dc5397af97fb486d7ff (patch) | |
| tree | aaba0e14c381e2a168b04b5e2617976165104e44 /generic/proof-shell.el | |
| parent | 79ba02419da4f6371cc64e881859858be3d82711 (diff) | |
replace-in-string -> replace-regexp-in-string
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index e2928866..c967c58c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -273,8 +273,8 @@ Does nothing if proof assistant is already running." (cons (if (getenv "LANG") (format "LANG=%s" - (replace-in-string (getenv "LANG") - "\\.UTF-8" "")) + (replace-regexp-in-string "\\.UTF-8" "" + (getenv "LANG"))) "LANG=C") (delete (concat "LANG=" (getenv "LANG")) |