diff options
author | 2004-04-27 17:35:13 +0000 | |
---|---|---|
committer | 2004-04-27 17:35:13 +0000 | |
commit | 5bf9b8a467451aa5177647abbbab4bb8cfac7a6f (patch) | |
tree | 2719124350d9fdb1646b798d5673e718349a69bd /generic | |
parent | c3eb1c0570bb49889573eb6758a6d3768c523111 (diff) |
condition-case -> unwind-protect
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-response.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 3912c90b..e98fdb55 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -460,10 +460,10 @@ If STR is empty, just ensure that fontification is up to date." ;; Catch errors here: this is to deal with ugly problem when ;; fontification of large output gives error Nesting too deep ;; for parser - (condition-case nil - (proof-fontify-region fontifystart (point))) - (setq proof-trace-last-fontify-pos nil)) - (set-buffer-modified-p nil)))) + (unwind-protect + (proof-fontify-region fontifystart (point)) + (setq proof-trace-last-fontify-pos nil)) + (set-buffer-modified-p nil))))) |