diff options
| author | David Aspinall | 2008-01-29 22:26:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 22:26:34 +0000 |
| commit | 2232a44c0151d0aeb5405990d6bf9548b6174ffc (patch) | |
| tree | 164f93f7dd4fca57207a3e929e327f2a627fa9ee /generic | |
| parent | 138cf77d37019ad53da71a9e3ecb87853e7eaf2c (diff) | |
buffer-substring -> buffer-substring-no-properties since we never use them
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 623ff342..87d62bc0 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1643,7 +1643,7 @@ to the function which parses the script segment by segment." (setq cmdseen t) (setq seg (list 'cmd - (buffer-substring realstart (point)) + (buffer-substring-no-properties realstart (point)) (point)))) ((null type)) ; nothing left in buffer (t @@ -1807,7 +1807,7 @@ to the function which parses the script segment by segment." (skip-chars-forward " \t\n") (point))) (comend (point)) - (bufstr (buffer-substring prev-no-blanks comend)) + (bufstr (buffer-substring-no-properties prev-no-blanks comend)) (type (save-excursion ;; The behaviour here is a bit odd: this is a @@ -1946,7 +1946,7 @@ This version is used when `proof-script-command-end-regexp' is set." ;; There should be something left: a command. (skip-chars-forward " \t\n") (setq alist (cons (list 'cmd - (buffer-substring + (buffer-substring-no-properties (point) cmdend) cmdend) alist)) (setq prev cmdend) |