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 /plastic | |
| parent | 79ba02419da4f6371cc64e881859858be3d82711 (diff) | |
replace-in-string -> replace-regexp-in-string
Diffstat (limited to 'plastic')
| -rw-r--r-- | plastic/plastic.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index b02d2065..8fc134ed 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -563,8 +563,8 @@ We assume that module identifiers coincide with file names." )) (t (incf i)))) ; else include. - (setq string (replace-in-string string " +" " ")) - (setq string (replace-in-string string "^ +" "")) + (setq string (replace-regexp-in-string " +" " " string)) + (setq string (replace-regexp-in-string "^ +" "" string)) (if (string-match "^\\s-*$" string) (setq string (concat "ECHO comment line" proof-terminal-string)) string)))) |