From 13295efaaa0bee8c9d3393aedb8932b7365fe7b2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 2 Mar 2004 18:53:45 +0000 Subject: Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs) --- generic/proof-script.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic') 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 () -- cgit v1.2.3