From 09929d6f496ed36d08988dc5397af97fb486d7ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 19:49:50 +0000
Subject: replace-in-string -> replace-regexp-in-string

---
 generic/proof-shell.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-shell.el')

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"))
-- 
cgit v1.2.3