diff options
Diffstat (limited to 'coq/coq-db.el')
| -rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |