diff options
Diffstat (limited to 'generic/proof-syntax.el')
-rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 2ba6b7b6..777d3858 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -65,7 +65,7 @@ nil if a region cannot be found." (search-forward string bound noerror count))) ;;;###autoload -(defsubst proof-replace-regexp-in-string (regexp rep string) +(defun proof-replace-regexp-in-string (regexp rep string) "Like ‘replace-regexp-in-string’, but set ‘case-fold-search’ to ‘proof-case-fold-search’." (let ((case-fold-search proof-case-fold-search)) (replace-regexp-in-string regexp rep string))) |