diff options
| -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 debbc1a5..33b7179f 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -585,8 +585,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-in-string string " +" " ")) + (setq string (replace-in-string string "^ +" "")) (if (string-match "^\\s-*$" string) (setq string (concat "ECHO comment line" proof-terminal-string)) string)))) |