diff options
| author | David Aspinall | 2004-03-02 18:53:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-02 18:53:45 +0000 |
| commit | 13295efaaa0bee8c9d3393aedb8932b7365fe7b2 (patch) | |
| tree | 0249d6e646d61c59fbed7ba930b9c614287d64f9 | |
| parent | 8c45030e4a84f1dd2b43a0a02d87434300b66a41 (diff) | |
Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)
| -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 97528be8..e3067ac6 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -740,7 +740,7 @@ to allow other files loaded by proof assistants to be marked read-only." (if (< (proof-unprocessed-begin) (proof-script-end)) (let ((span (make-span (proof-unprocessed-begin) (proof-script-end))) - cmd) + dummycmd) ;; Reset queue and locked regions. (proof-init-segmentation) ;; End of locked region is always end of buffer @@ -749,7 +749,7 @@ to allow other files loaded by proof assistants to be marked read-only." (set-span-property span 'type 'proverproc) ;; A dummy command for retraction which examines it ;; FIXME: shouldn't be necessary really - (set-span-property span 'cmd "") + (set-span-property span 'dummycmd "") (pg-set-span-helphighlights span 'nohighlight)))))) @@ -2004,7 +2004,7 @@ Assumes that point is at the end of a command." (p (point))) (if proof-script-command-separator (insert proof-script-command-separator) - (insert-char ?\ newspace) + (insert-char ?\040 newspace) (goto-char p))))) (defun proof-script-next-command-advance () |