From 636f3dcb11a8d3689e8a394f5e5a6d5d885bdfba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 21:33:25 +0000
Subject: Clean compile

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index a0427dfa..02cfac8a 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -11,6 +11,7 @@
 (require 'coq-db)
 
 (eval-when-compile
+  (require 'span)
   (defvar coq-goal-command-regexp nil)
   (defvar coq-save-command-regexp-strict nil))
 
-- 
cgit v1.2.3