diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-03-07 18:27:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-07 18:27:24 +0100 |
commit | 315b7043953449fd6d982b01e4bcda91bb37ae7e (patch) | |
tree | def7d96a776f06d6ee7e1df53366e72ecf1f209a | |
parent | 23e480368e6952e10c084b627f7e39c60e0daf02 (diff) | |
parent | e1b3efb8e8ace78af9a0459318a927a28574c92e (diff) |
Merge pull request #344 from ProofGeneral/font-lock-fix
Add a missing parameter in advice on font-lock-fontify-keywords-region
-rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index cba709d9..7af4dd06 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -236,7 +236,7 @@ this were even more bogus...." (eval-after-load "font-lock" '(progn (defadvice font-lock-fontify-keywords-region - (before font-lock-fontify-keywords-advice (beg end loudly)) + (before font-lock-fontify-keywords-advice (beg end &optional loudly)) "Call proof assistant specific syntactic region fontify. If it's bound, we call <PA>-font-lock-fontify-syntactically-region." (when (and proof-buffer-type |