diff options
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 068a3c34..7e10dcbc 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2360,7 +2360,7 @@ assistant." ;; Fontlock support. ;; ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults proof-case-fold-search) + (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) ;; Hack for unfontifying commas (yuck) (remove-hook 'font-lock-after-fontify-buffer-hook 'proof-zap-commas-buffer t) |