diff options
| author | David Aspinall | 2003-02-24 10:38:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 10:38:01 +0000 |
| commit | 3563de3849c59f7b97fc9406960629a7258c8a84 (patch) | |
| tree | 70beb3cbb61c80e9e24365cf9448d30fc3d3fa53 /generic/proof-script.el | |
| parent | 031876435b4b287f17ff74dbbc4999c80b91161b (diff) | |
Fix some compile errors
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 56080211..3a8f7167 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1839,10 +1839,9 @@ This version is used when `proof-script-command-end-regexp' is set." ;; (FIXME: ignore nested comments here, we should ;; have a consistent policy!) (unless - (if (fboundp 'comment-forward) - (progn + (if (progn (goto-char (or (match-end 1) (match-beginning 0))) - (comment-forward)) + (forward-comment)) (proof-re-search-forward proof-script-comment-end-regexp cmdend t)) (error @@ -2385,7 +2384,7 @@ with `proof-script-set-buffer-hooks' which is what this function does, as well as setting `proof-script-buffer-file-name' (which see). This hook also gives a warning in case this is the active scripting buffer." - (setq proof-script-buffer-file-true buffer-file-name) + (setq proof-script-buffer-file-name buffer-file-name) (if (eq (current-buffer) proof-script-buffer) (proof-warning "Active scripting buffer changed name; synchronization risked if prover tracks filenames!")) |