diff options
| author | David Aspinall | 2007-03-03 15:29:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-03-03 15:29:36 +0000 |
| commit | 6db9778afa08a378dca0f55dfcfa9b2179f4264c (patch) | |
| tree | 7c330504e362e0ad94a31be6ab27bf15c9b82217 /generic/proof-utils.el | |
| parent | 8561a2dfd1b246208420728a44744501a987a79a (diff) | |
Use replace-regexp instead of proof-replace-regexp to clean chars
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 f2b76f48..72996411 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -467,7 +467,7 @@ Leave point at END." (if (and start end) (narrow-to-region start end)) (goto-char (or start (point-min))) - (proof-replace-regexp pg-special-char-regexp "") + (replace-regexp pg-special-char-regexp "") (goto-char (point-max)))) (defun pg-remove-specials-in-string (string) |