diff options
| author | David Aspinall | 2004-03-01 01:51:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 01:51:14 +0000 |
| commit | dbe77f94a47591650b4a8a14d6b678e45bb1df19 (patch) | |
| tree | 2306b865674d3ec2f6a96cd0082664ab064461a1 /generic/proof-script.el | |
| parent | e4a7ce520bf291229b07a3a07f5cc2a026565b4a (diff) | |
Fix buglets shown up by byte compilation.
Diffstat (limited to 'generic/proof-script.el')
| -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 184f0bfd..97528be8 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1357,7 +1357,7 @@ With ARG, turn on scripting iff ARG is positive." (savestart (span-start span)) (saveend (span-end span)) (cmd (span-property span 'cmd)) - lev nestedundos nam next ncmd) + lev nestedundos nam next) ;; Try to set the name of the theorem from the save ;; (message "%s" cmd) 3.4: remove this message. @@ -1745,7 +1745,7 @@ to the function which parses the script segment by segment." (defun proof-cmdstart-add-segment-for-cmd (comstart prev) (let ((tmp (point)) (commentre (concat "[ \t\n]*" proof-script-comment-start-regexp)) - (commentend (concat proof-script-comment-end-regexp "[ \t\n]*" ))) + (commentend (concat proof-script-comment-end-regexp "[ \t\n]*" ))) ;; FIXME: used? ;; Find end of previous command... (goto-char comstart) ;; Special hack: terminal char is included in a command, if set. @@ -1806,7 +1806,7 @@ which continues past POS, if any. (NOT IMPLEMENTED IN THIS VERSION). This version is used when `proof-script-command-start-regexp' is set." (save-excursion - (let* (alist prev cmdfnd startpos comstart first) + (let* (alist prev cmdfnd startpos comstart) (goto-char (proof-queue-or-locked-end)) (setq prev (point)) (skip-chars-forward " \t\n") |