From 590d10c9cb7456e67aef3d2a5d2a0552826f176f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 3 Aug 2010 18:45:13 +0000
Subject: Fix compile

---
 generic/pg-movie.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic')

diff --git a/generic/pg-movie.el b/generic/pg-movie.el
index 78e85167..72afca03 100644
--- a/generic/pg-movie.el
+++ b/generic/pg-movie.el
@@ -22,6 +22,9 @@
 ;; Proof General though!
 ;;
 
+(eval-when-compile
+  (require 'span))
+
 (require 'pg-xml)
 
 (defconst pg-movie-xml-header "<?xml version=\"1.0\"?>")
-- 
cgit v1.2.3