replace-in-string -> replace-regexp-in-string

1 files changed, 2 insertions, 7 deletions

diff --git a/lib/proof-compat.el b/lib/proof-compat.el
index e06b0297..a37ddab9 100644
--- a/lib/proof-compat.el
+++ b/lib/proof-compat.el
@@ -18,9 +18,10 @@
 ;;
 
 (eval-when-compile
-  (require 'cl)
   (require 'easymenu))
 
+(require 'cl)
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Architecture flags
@@ -89,12 +90,6 @@ The value returned is the value of the last form in BODY."
            (progn ,@body)
          (select-frame ,old-frame))))))
 
-
-;; FIXME: rewrite uses of this
-(defun replace-in-string (str regexp newtext &optional literal)
-  (replace-regexp-in-string regexp newtext str 'fixedcase literal))
-
-
 ;; An implemenation of buffer-syntactic-context for GNU Emacs
 (defun proof-buffer-syntactic-context-emulate (&optional buffer)
   "Return the syntactic context of BUFFER at point.