diff options
author | 1998-11-25 13:01:22 +0000 | |
---|---|---|
committer | 1998-11-25 13:01:22 +0000 | |
commit | 9c96869fac29206c6a9a3fef8431497a7b9f0d3c (patch) | |
tree | 27e57a26aaf18a2519fe356ffdba99dc39a3072e /generic/proof-script.el | |
parent | 1621428c4ae41134a4d99f931dce341427a9ae4f (diff) |
Compile clean-ups.
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index ecfa067a..59350fc9 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -708,15 +708,15 @@ the next command end." (proof-unprocessed-begin) -10) ?x)) (i 0) (depth 0) (quote-parity t) done alist c (comment-end-regexp (regexp-quote proof-comment-end)) - (comment-start-regexp (regexp-quote proof-comment-start)) + (comment-start-regexp (regexp-quote proof-comment-start))) ;; For forthcoming improvements: skip over boring ;; characters, calculate strings with buffer-substring ;; rather than character at a time. - (interesting-chars - (concat (substring proof-comment-start 1 1) - (substring proof-comment-end 1 1) - (char-to-string proof-terminal-char) - "\""))) + ; (interesting-chars + ; (concat (substring proof-comment-start 1 1) + ; (substring proof-comment-end 1 1) + ; (char-to-string proof-terminal-char) + ; "\""))) (proof-goto-end-of-locked) (while (not done) (cond |