From 6a3c8d9bd0db3a4db6a01a0f587f309da568a943 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 15 Jan 2008 13:07:11 +0000 Subject: Many compatibility updates, bug fixes, rearrangements for compilation. --- coq/coq-db.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-db.el') diff --git a/coq/coq-db.el b/coq/coq-db.el index 87ec0f4e..d575ad09 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -16,7 +16,7 @@ ;;; Code: -(require 'proof-utils) ; for proof-face-specs, a macro +(require 'proof-config) ; for proof-face-specs, a macro (require 'holes) (defconst coq-syntax-db nil -- cgit v1.2.3