diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:45:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-16 00:45:11 +0000 |
| commit | 6d99577beb0ba949aba3228af9be2b414814a60d (patch) | |
| tree | 74ab06496d65f10eecb78e824a8408bb18587608 /generic/proof-utils.el | |
| parent | 13f66c99a60753d34bb326c0a400b838f2d5f60c (diff) | |
Comments.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index e7335cd2..dbe4188b 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -418,8 +418,9 @@ Returns new END value." ;; which may be raised by XEmacs' crummy `parse-partial-sexp'. (condition-case err (font-lock-default-fontify-region start end nil) - (t (proof-debug "Caught condition %s in `font-lock-default-fontify-region'" - (car err)))))) + (t (proof-debug + "Caught condition %s in `font-lock-default-fontify-region'" + (car err)))))) (save-restriction (narrow-to-region start end) (run-hooks 'pg-after-fontify-output-hook) |