diff options
| -rw-r--r-- | plastic/plastic.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index 435c00d0..546c9acb 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -521,6 +521,7 @@ For Plastic, we assume that module identifiers coincide with file names." (defun plastic-preprocessing () ;; NB: dynamic scoping of string "clear comments and remove literate marks (ie, \\n> ) - acts on var string" + (with-no-warnings ;; might want to use proof-string-match here if matching is going ;; to be case sensitive (see docs) @@ -566,7 +567,7 @@ For Plastic, we assume that module identifiers coincide with file names." (setq string (replace-regexp-in-string "^ +" "" string)) (if (string-match "^\\s-*$" string) (setq string (concat "ECHO comment line" proof-terminal-string)) - string)))) + string))))) (defun plastic-all-ctxt () |