From 1c7dd346c0c94f8b2f5d5f117b8dfd9dfa5a2532 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Sat, 26 Nov 2016 15:08:40 +0100 Subject: fix 2 compilation warnings (fixes #33) --- generic/pg-response.el | 1 + 1 file changed, 1 insertion(+) (limited to 'generic/pg-response.el') diff --git a/generic/pg-response.el b/generic/pg-response.el index 46c7e1b5..484ee0d5 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -22,6 +22,7 @@ (defvar proof-assistant-menu nil)) (require 'pg-assoc) +(require 'span) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3