diff options
author | 2010-10-01 15:52:35 +0000 | |
---|---|---|
committer | 2010-10-01 15:52:35 +0000 | |
commit | 3aa7149561f4607e0d2f0b7441a95cffdaac4770 (patch) | |
tree | 147b2d5d763a2cc1947aa4b42cad75894716d6c4 /coq | |
parent | ac54baff3a890d738516e164a0bfc2191dbe4cde (diff) |
Rename span-add-self-removing-span
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1313,8 +1313,8 @@ buffer." ;; utf8 adaptation is made in coq-get-last-error-location above (goto-char (+ (point) pos)) - (span-add-self-removing-span (point) (+ (point) lgth) - 'face 'proof-warning-face)))))) + (span-make-self-removing-span (point) (+ (point) lgth) + 'face 'proof-warning-face)))))) (defun coq-highlight-error-hook () (coq-highlight-error t t)) |