From 7f1821cee8801a0f248aef492b9c1541e85a4880 Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Sat, 1 Jun 2019 01:43:09 -0700
Subject: Process tags in the buffer rather than in strings

---
 generic/pg-response.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

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")
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3