diff options
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 92bf48e0..c60ced2b 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2604,7 +2604,9 @@ assistant." ;; Fontlock support. ;; ;; Assume font-lock case folding follows proof-case-fold-search - (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search)) + (proof-font-lock-configure-defaults 'autofontify proof-case-fold-search) + +) |