diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 1bdf12bc..6c5b86e0 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -477,7 +477,7 @@ Leave point at END." (if (and start end) (narrow-to-region start end)) (goto-char (or start (point-min))) - (replace-regexp pg-special-char-regexp "") + (proof-replace-regexp-nocasefold pg-special-char-regexp "") (goto-char (point-max)))) (defun pg-remove-specials-in-string (string) |