diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index b44a5fa4..0365ea37 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -176,7 +176,8 @@ this were even more bogus...." (before font-lock-fontify-keywords-advice (beg end loudly)) "Call proof assistant specific syntactic region fontify. If it's bound, we call <PA>-font-lock-fontify-syntactically-region." - (when (fboundp (proof-ass-sym font-lock-fontify-syntactically-region)) + (when (and proof-buffer-type + (fboundp (proof-ass-sym font-lock-fontify-syntactically-region))) (funcall (proof-ass-sym font-lock-fontify-syntactically-region) beg end loudly))) (ad-activate 'font-lock-fontify-keywords-region))) |