diff options
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))))) |