From 4ac7595d8fab9376cf0d79ef71f96c363c3a0d3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Sep 2010 11:07:28 +0000
Subject: Fix compile

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

diff --git a/coq/coq-db.el b/coq/coq-db.el
index c8fd3f8a..020e3291 100644
--- a/coq/coq-db.el
+++ b/coq/coq-db.el
@@ -18,6 +18,7 @@
   (require 'cl))
 
 (require 'proof-config)			; for proof-face-specs, a macro
+(require 'proof-syntax)			; for proof-ids-to-regexp
 (require 'holes)
 
 (defconst coq-syntax-db nil
-- 
cgit v1.2.3