diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 7f36fc6f..37f629af 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -31,8 +31,8 @@ (require 'pg-assoc) (require 'span) -;; hook for coq diffs highlighting routine -(defvar pg-insert-text-function 'insert) +(defvar pg-insert-text-function #'insert + "hook for coq diffs highlighting routine") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |