From bb41772fd7842a8b8b27113161fb0fce64c273ed Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Jan 2006 17:21:22 +0000
Subject: Fix from Paul

---
 plastic/plastic.el | 4 ++--
 1 file 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))))
-- 
cgit v1.2.3