diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-26 15:08:40 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-30 22:48:09 +0100 |
commit | 1c7dd346c0c94f8b2f5d5f117b8dfd9dfa5a2532 (patch) | |
tree | 6adf67e0efe2820874a1ee49af02c7e2c68c26c9 /generic/pg-response.el | |
parent | fbd995b819f13d3895f8a45476802e2d7172fc52 (diff) |
fix 2 compilation warnings (fixes #33)
Diffstat (limited to 'generic/pg-response.el')
-rw-r--r-- | generic/pg-response.el | 1 |
1 files changed, 1 insertions, 0 deletions
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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |