diff options
| author | David Aspinall | 2009-09-04 19:49:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 19:49:50 +0000 |
| commit | 09929d6f496ed36d08988dc5397af97fb486d7ff (patch) | |
| tree | aaba0e14c381e2a168b04b5e2617976165104e44 /generic/pg-user.el | |
| parent | 79ba02419da4f6371cc64e881859858be3d82711 (diff) | |
replace-in-string -> replace-regexp-in-string
Diffstat (limited to 'generic/pg-user.el')
| -rw-r--r-- | generic/pg-user.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index dac20424..b92280da 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -301,9 +301,9 @@ is off (nil)." (interactive (list (read-string "Command: " (if (and current-prefix-arg (region-active-p)) - (replace-in-string - (buffer-substring (region-beginning) (region-end)) - "[ \t\n]+" " ")) + (replace-regexp-in-string + "[ \t\n]+" " " + (buffer-substring (region-beginning) (region-end)))) 'proof-minibuffer-history))) (if (and proof-strict-state-preserving proof-state-preserving-p |